/ Celestin Apprentice 4 / Apprentice-Release4.iso / Source Code / Add-Ons / MPW / MPW noweb 2.7 / examples / breakmodel.nw

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 20 5c 67 6c 6f 62 61 | 6c 5c 64 65 66 5c 62 65 |% \globa|l\def\be|
|00000010| 67 69 6e 64 6f 63 73 23 | 31 7b 5c 72 65 6c 61 78 |gindocs#|1{\relax|
|00000020| 7d 0d 25 20 5c 67 6c 6f | 62 61 6c 5c 6c 65 74 5c |}.% \glo|bal\let\|
|00000030| 65 6e 64 64 6f 63 73 3d | 5c 72 65 6c 61 78 0d 0d |enddocs=|\relax..|
|00000040| 7b 5c 64 65 66 5c 73 65 | 6d 69 66 69 6c 62 72 65 |{\def\se|mifilbre|
|00000050| 61 6b 23 31 7b 5c 76 73 | 6b 69 70 30 70 74 20 70 |ak#1{\vs|kip0pt p|
|00000060| 6c 75 73 20 23 31 5c 70 | 65 6e 61 6c 74 79 2d 32 |lus #1\p|enalty-2|
|00000070| 30 30 5c 76 73 6b 69 70 | 30 70 74 20 70 6c 75 73 |00\vskip|0pt plus|
|00000080| 20 2d 23 31 7d 0d 5c 64 | 65 66 5c 73 69 6e 67 6c | -#1}.\d|ef\singl|
|00000090| 65 7b 5c 64 65 66 5c 62 | 61 73 65 6c 69 6e 65 73 |e{\def\b|aselines|
|000000a0| 74 72 65 74 63 68 7b 31 | 2e 30 7d 5c 73 6d 61 6c |tretch{1|.0}\smal|
|000000b0| 6c 5c 6e 6f 72 6d 61 6c | 73 69 7a 65 7d 0d 0d 25 |l\normal|size}..%|
|000000c0| 20 6c 32 68 20 69 67 6e | 6f 72 65 20 73 65 6d 69 | l2h ign|ore semi|
|000000d0| 66 69 6c 62 72 65 61 6b | 20 7b 0d 25 20 6c 32 68 |filbreak| {.% l2h|
|000000e0| 20 69 67 6e 6f 72 65 20 | 73 69 6e 67 6c 65 20 0d | ignore |single .|
|000000f0| 0d 25 20 6c 32 68 20 73 | 75 62 73 74 69 74 75 74 |.% l2h s|ubstitut|
|00000100| 69 6f 6e 20 4c 41 20 26 | 6c 74 3b 0d 25 20 6c 32 |ion LA &|lt;.% l2|
|00000110| 68 20 73 75 62 73 74 69 | 74 75 74 69 6f 6e 20 52 |h substi|tution R|
|00000120| 41 20 26 67 74 3b 0d 0d | 5c 73 65 63 74 69 6f 6e |A >..|\section|
|00000130| 7b 41 20 46 6f 72 6d 61 | 6c 20 4d 6f 64 65 6c 20 |{A Forma|l Model |
|00000140| 6f 66 20 42 72 65 61 6b | 70 6f 69 6e 74 73 7d 0d |of Break|points}.|
|00000150| 5c 6c 61 62 65 6c 7b 61 | 70 70 65 6e 64 69 78 3a |\label{a|ppendix:|
|00000160| 62 72 65 61 6b 70 6f 69 | 6e 74 2d 6d 6f 64 65 6c |breakpoi|nt-model|
|00000170| 7d 0d 54 68 69 73 20 61 | 70 70 65 6e 64 69 78 20 |}.This a|ppendix |
|00000180| 70 72 6f 76 69 64 65 73 | 20 61 20 66 6f 72 6d 61 |provides| a forma|
|00000190| 6c 20 6d 6f 64 65 6c 20 | 6f 66 20 7b 5c 74 74 20 |l model |of {\tt |
|000001a0| 6c 64 62 7d 27 73 20 66 | 6f 6c 6c 6f 77 2d 73 65 |ldb}'s f|ollow-se|
|000001b0| 74 20 62 72 65 61 6b 70 | 6f 69 6e 74 73 2e 0d 54 |t breakp|oints..T|
|000001c0| 68 65 20 6d 6f 64 65 6c | 20 74 61 6b 65 73 20 74 |he model| takes t|
|000001d0| 68 65 20 66 6f 72 6d 20 | 6f 66 20 61 20 50 52 4f |he form |of a PRO|
|000001e0| 4d 45 4c 41 20 70 72 6f | 67 72 61 6d 7e 5c 63 69 |MELA pro|gram~\ci|
|000001f0| 74 65 7b 68 6f 6c 7a 6d | 61 6e 6e 3a 64 65 73 69 |te{holzm|ann:desi|
|00000200| 67 6e 7d 2e 20 0d 50 52 | 4f 4d 45 4c 41 20 70 72 |gn}. .PR|OMELA pr|
|00000210| 6f 67 72 61 6d 73 20 64 | 65 66 69 6e 65 20 73 65 |ograms d|efine se|
|00000220| 76 65 72 61 6c 20 74 68 | 72 65 61 64 73 20 6f 66 |veral th|reads of|
|00000230| 20 63 6f 6e 74 72 6f 6c | 20 74 68 61 74 20 63 6f | control| that co|
|00000240| 6d 6d 75 6e 69 63 61 74 | 65 20 62 79 0d 70 61 73 |mmunicat|e by.pas|
|00000250| 73 69 6e 67 20 6d 65 73 | 73 61 67 65 73 2e 20 20 |sing mes|sages.  |
|00000260| 0d 45 61 63 68 20 74 68 | 72 65 61 64 20 6f 66 20 |.Each th|read of |
|00000270| 63 6f 6e 74 72 6f 6c 20 | 72 75 6e 73 20 61 20 70 |control |runs a p|
|00000280| 72 6f 67 72 61 6d 20 77 | 72 69 74 74 65 6e 20 69 |rogram w|ritten i|
|00000290| 6e 20 61 20 67 75 61 72 | 64 65 64 2d 63 6f 6d 6d |n a guar|ded-comm|
|000002a0| 61 6e 64 0d 6c 61 6e 67 | 75 61 67 65 20 77 69 74 |and.lang|uage wit|
|000002b0| 68 20 61 20 43 2d 6c 69 | 6b 65 20 73 79 6e 74 61 |h a C-li|ke synta|
|000002c0| 78 2e 0d 50 72 6f 67 72 | 61 6d 73 20 6d 61 79 20 |x..Progr|ams may |
|000002d0| 62 65 20 6e 6f 6e 64 65 | 74 65 72 6d 69 6e 69 73 |be nonde|terminis|
|000002e0| 74 69 63 2e 0d 50 52 4f | 4d 45 4c 41 20 63 61 6e |tic..PRO|MELA can|
|000002f0| 20 73 69 6d 75 6c 61 74 | 65 20 74 68 65 20 65 78 | simulat|e the ex|
|00000300| 65 63 75 74 69 6f 6e 20 | 6f 66 20 61 20 70 72 6f |ecution |of a pro|
|00000310| 67 72 61 6d 20 61 6e 64 | 0d 73 65 61 72 63 68 20 |gram and|.search |
|00000320| 69 74 73 20 73 74 61 74 | 65 20 73 70 61 63 65 20 |its stat|e space |
|00000330| 66 6f 72 20 73 74 61 74 | 65 73 20 76 69 6f 6c 61 |for stat|es viola|
|00000340| 74 69 6e 67 20 61 73 73 | 65 72 74 69 6f 6e 73 20 |ting ass|ertions |
|00000350| 65 6d 62 65 64 64 65 64 | 20 69 6e 20 74 68 65 0d |embedded| in the.|
|00000360| 70 72 6f 67 72 61 6d 2e | 0d 54 68 65 20 73 69 6d |program.|.The sim|
|00000370| 75 6c 61 74 6f 72 20 61 | 6c 73 6f 20 73 65 61 72 |ulator a|lso sear|
|00000380| 63 68 65 73 20 66 6f 72 | 20 73 74 61 74 65 73 20 |ches for| states |
|00000390| 77 69 74 68 20 6e 6f 20 | 73 75 63 63 65 73 73 6f |with no |successo|
|000003a0| 72 73 2c 20 69 2e 65 2e | 2c 0d 64 65 61 64 6c 6f |rs, i.e.|,.deadlo|
|000003b0| 63 6b 73 2e 0d 0d 54 68 | 65 20 50 52 4f 4d 45 4c |cks...Th|e PROMEL|
|000003c0| 41 20 63 6f 64 65 20 69 | 6e 20 74 68 69 73 20 61 |A code i|n this a|
|000003d0| 70 70 65 6e 64 69 78 20 | 6d 6f 64 65 6c 73 20 7b |ppendix |models {|
|000003e0| 5c 74 74 20 6c 64 62 7d | 27 73 20 69 6d 70 6c 65 |\tt ldb}|'s imple|
|000003f0| 6d 65 6e 74 61 74 69 6f | 6e 20 6f 66 0d 62 72 65 |mentatio|n of.bre|
|00000400| 61 6b 70 6f 69 6e 74 73 | 2e 0d 41 6c 74 68 6f 75 |akpoints|..Althou|
|00000410| 67 68 20 7b 5c 74 74 20 | 6c 64 62 7d 20 64 6f 65 |gh {\tt |ldb} doe|
|00000420| 73 20 6e 6f 74 20 77 6f | 72 6b 20 77 69 74 68 20 |s not wo|rk with |
|00000430| 6d 75 6c 74 69 74 68 72 | 65 61 64 65 64 20 70 72 |multithr|eaded pr|
|00000440| 6f 67 72 61 6d 73 2c 20 | 74 68 65 0d 6d 6f 64 65 |ograms, |the.mode|
|00000450| 6c 20 75 73 65 73 20 6d | 75 6c 74 69 70 6c 65 20 |l uses m|ultiple |
|00000460| 74 68 72 65 61 64 73 20 | 62 65 63 61 75 73 65 20 |threads |because |
|00000470| 61 20 70 72 6f 63 65 64 | 75 72 65 20 63 61 6c 6c |a proced|ure call|
|00000480| 20 66 72 6f 6d 20 7b 5c | 74 74 20 6c 64 62 7d 20 | from {\|tt ldb} |
|00000490| 74 6f 0d 61 20 74 61 72 | 67 65 74 20 70 72 6f 63 |to.a tar|get proc|
|000004a0| 65 73 73 20 65 66 66 65 | 63 74 69 76 65 6c 79 20 |ess effe|ctively |
|000004b0| 63 72 65 61 74 65 73 20 | 61 20 6e 65 77 20 74 68 |creates |a new th|
|000004c0| 72 65 61 64 2e 0d 54 68 | 65 20 61 73 73 65 72 74 |read..Th|e assert|
|000004d0| 69 6f 6e 73 20 65 6d 62 | 65 64 64 65 64 20 69 6e |ions emb|edded in|
|000004e0| 20 74 68 65 20 6d 6f 64 | 65 6c 20 73 70 65 63 69 | the mod|el speci|
|000004f0| 66 79 20 74 68 61 74 20 | 74 68 65 20 64 65 62 75 |fy that |the debu|
|00000500| 67 67 65 72 0d 74 61 6b | 65 73 20 61 20 62 72 65 |gger.tak|es a bre|
|00000510| 61 6b 70 6f 69 6e 74 20 | 61 63 74 69 6f 6e 20 6a |akpoint |action j|
|00000520| 75 73 74 20 62 65 66 6f | 72 65 20 61 6e 79 20 74 |ust befo|re any t|
|00000530| 68 72 65 61 64 27 73 0d | 73 75 63 63 65 73 73 66 |hread's.|successf|
|00000540| 75 6c 20 65 78 65 63 75 | 74 69 6f 6e 20 6f 66 20 |ul execu|tion of |
|00000550| 74 68 65 20 69 6e 73 74 | 72 75 63 74 69 6f 6e 20 |the inst|ruction |
|00000560| 61 74 20 74 68 65 20 62 | 72 65 61 6b 70 6f 69 6e |at the b|reakpoin|
|00000570| 74 2e 0d 42 72 65 61 6b | 70 6f 69 6e 74 73 20 6d |t..Break|points m|
|00000580| 61 79 20 62 65 20 69 6d | 70 6c 65 6d 65 6e 74 65 |ay be im|plemente|
|00000590| 64 20 65 69 74 68 65 72 | 20 69 6e 20 74 68 65 20 |d either| in the |
|000005a0| 6f 70 65 72 61 74 69 6e | 67 20 73 79 73 74 65 6d |operatin|g system|
|000005b0| 20 6f 72 20 69 6e 0d 74 | 68 65 20 64 65 62 75 67 | or in.t|he debug|
|000005c0| 67 65 72 20 69 74 73 65 | 6c 66 3b 20 74 68 65 20 |ger itse|lf; the |
|000005d0| 63 68 6f 69 63 65 20 64 | 6f 65 73 20 6e 6f 74 20 |choice d|oes not |
|000005e0| 61 66 66 65 63 74 20 74 | 68 65 20 6d 6f 64 65 6c |affect t|he model|
|000005f0| 20 75 73 65 64 20 68 65 | 72 65 2e 0d 54 68 65 20 | used he|re..The |
|00000600| 6d 6f 64 65 6c 20 61 73 | 73 75 6d 65 73 20 69 74 |model as|sumes it|
|00000610| 20 63 61 6e 20 70 6c 61 | 6e 74 20 74 72 61 70 20 | can pla|nt trap |
|00000620| 69 6e 73 74 72 75 63 74 | 69 6f 6e 73 20 69 6e 0d |instruct|ions in.|
|00000630| 74 68 65 20 69 6e 73 74 | 72 75 63 74 69 6f 6e 20 |the inst|ruction |
|00000640| 73 74 72 65 61 6d 20 6f | 66 20 74 68 65 20 74 61 |stream o|f the ta|
|00000650| 72 67 65 74 20 70 72 6f | 67 72 61 6d 2c 20 61 6e |rget pro|gram, an|
|00000660| 64 20 74 68 61 74 20 0d | 69 74 20 77 69 6c 6c 20 |d that .|it will |
|00000670| 62 65 20 6e 6f 74 69 66 | 69 65 64 20 77 68 65 6e |be notif|ied when|
|00000680| 20 74 68 65 20 74 61 72 | 67 65 74 20 70 72 6f 67 | the tar|get prog|
|00000690| 72 61 6d 20 65 6e 63 6f | 75 6e 74 65 72 73 20 61 |ram enco|unters a|
|000006a0| 20 74 72 61 70 2e 0d 54 | 68 65 20 6d 6f 64 65 6c | trap..T|he model|
|000006b0| 20 61 6c 73 6f 20 73 75 | 69 74 73 20 61 20 6d 61 | also su|its a ma|
|000006c0| 63 68 69 6e 65 20 77 69 | 74 68 20 61 20 60 60 74 |chine wi|th a ``t|
|000006d0| 72 61 63 65 20 6d 6f 64 | 65 27 27 0d 20 74 68 61 |race mod|e''. tha|
|000006e0| 74 20 63 61 75 73 65 73 | 20 61 20 74 72 61 70 20 |t causes| a trap |
|000006f0| 61 66 74 65 72 20 74 68 | 65 20 65 78 65 63 75 74 |after th|e execut|
|00000700| 69 6f 6e 20 6f 66 20 65 | 76 65 72 79 20 69 6e 73 |ion of e|very ins|
|00000710| 74 72 75 63 74 69 6f 6e | 2e 0d 0d 0d 54 68 65 20 |truction|....The |
|00000720| 6d 6f 64 65 6c 20 68 61 | 73 20 61 20 73 69 6e 67 |model ha|s a sing|
|00000730| 6c 65 0d 62 72 65 61 6b | 70 6f 69 6e 74 2e 20 0d |le.break|point. .|
|00000740| 54 6f 20 6b 65 65 70 20 | 74 68 65 20 73 74 61 74 |To keep |the stat|
|00000750| 65 20 73 70 61 63 65 20 | 73 6d 61 6c 6c 2c 20 74 |e space |small, t|
|00000760| 68 65 20 6d 6f 64 65 6c | 20 68 61 73 20 6f 6e 6c |he model| has onl|
|00000770| 79 20 74 77 6f 20 74 68 | 72 65 61 64 73 2c 20 73 |y two th|reads, s|
|00000780| 6f 20 74 68 61 74 0d 20 | 61 20 73 69 6e 67 6c 65 |o that. |a single|
|00000790| 20 62 69 74 20 63 61 6e | 20 72 65 70 72 65 73 65 | bit can| represe|
|000007a0| 6e 74 20 74 68 72 65 61 | 64 20 5b 5b 69 64 5d 5d |nt threa|d [[id]]|
|000007b0| 73 2e 5c 6c 61 62 65 6c | 7b 6e 6f 77 65 62 2d 73 |s.\label|{noweb-s|
|000007c0| 61 6d 70 6c 65 2d 70 61 | 67 65 2d 6e 75 6d 62 65 |ample-pa|ge-numbe|
|000007d0| 72 7d 0d 3c 3c 64 65 63 | 6c 61 72 61 74 69 6f 6e |r}.<<dec|laration|
|000007e0| 73 3e 3e 3d 0d 23 64 65 | 66 69 6e 65 20 4e 54 48 |s>>=.#de|fine NTH|
|000007f0| 52 45 41 44 53 20 32 0d | 23 64 65 66 69 6e 65 20 |READS 2.|#define |
|00000800| 74 68 72 65 61 64 69 64 | 20 62 69 74 0d 40 20 5c |threadid| bit.@ \|
|00000810| 6e 6f 69 6e 64 65 6e 74 | 0d 54 68 65 20 7b 5c 66 |noindent|.The {\f|
|00000820| 6f 6f 74 6e 6f 74 65 73 | 69 7a 65 5c 70 61 67 65 |ootnotes|ize\page|
|00000830| 72 65 66 7b 6e 6f 77 65 | 62 2d 73 61 6d 70 6c 65 |ref{nowe|b-sample|
|00000840| 2d 70 61 67 65 2d 6e 75 | 6d 62 65 72 7d 7d 20 69 |-page-nu|mber}} i|
|00000850| 6e 0d 5c 4c 41 7b 7d 64 | 65 63 6c 61 72 61 74 69 |n.\LA{}d|eclarati|
|00000860| 6f 6e 73 7e 5c 66 6f 6f | 74 6e 6f 74 65 73 69 7a |ons~\foo|tnotesiz|
|00000870| 65 5c 70 61 67 65 72 65 | 66 7b 6e 6f 77 65 62 2d |e\pagere|f{noweb-|
|00000880| 73 61 6d 70 6c 65 2d 70 | 61 67 65 2d 6e 75 6d 62 |sample-p|age-numb|
|00000890| 65 72 7d 5c 52 41 7b 7d | 0d 69 73 20 74 68 65 20 |er}\RA{}|.is the |
|000008a0| 70 61 67 65 20 6e 75 6d | 62 65 72 20 6f 6e 20 77 |page num|ber on w|
|000008b0| 68 69 63 68 20 74 68 65 | 20 64 65 66 69 6e 69 74 |hich the| definit|
|000008c0| 69 6f 6e 20 61 70 70 65 | 61 72 73 2e 0d 0d 5c 73 |ion appe|ars...\s|
|000008d0| 65 63 74 69 6f 6e 7b 4d | 6f 64 65 6c 69 6e 67 20 |ection{M|odeling |
|000008e0| 74 68 65 20 70 72 6f 67 | 72 61 6d 20 63 6f 75 6e |the prog|ram coun|
|000008f0| 74 65 72 20 61 6e 64 20 | 65 78 65 63 75 74 69 6f |ter and |executio|
|00000900| 6e 7d 0d 54 6f 20 6b 65 | 65 70 20 74 68 69 6e 67 |n}.To ke|ep thing|
|00000910| 73 20 73 69 6d 70 6c 65 | 2c 20 49 20 70 61 72 74 |s simple|, I part|
|00000920| 69 74 69 6f 6e 20 74 68 | 65 20 70 6f 73 73 69 62 |ition th|e possib|
|00000930| 6c 65 20 76 61 6c 75 65 | 73 20 6f 66 20 74 68 65 |le value|s of the|
|00000940| 20 70 72 6f 67 72 61 6d | 0d 63 6f 75 6e 74 65 72 | program|.counter|
|00000950| 20 69 6e 74 6f 20 74 68 | 72 65 65 20 73 65 74 73 | into th|ree sets|
|00000960| 3a 0d 5c 62 65 67 69 6e | 7b 71 75 6f 74 65 7d 0d |:.\begin|{quote}.|
|00000970| 5c 62 65 67 69 6e 7b 74 | 61 62 75 6c 61 72 7d 7b |\begin{t|abular}{|
|00000980| 6c 6c 7d 0d 20 20 5b 5b | 42 72 65 61 6b 5d 5d 26 |ll}.  [[|Break]]&|
|00000990| 74 68 65 20 62 72 65 61 | 6b 70 6f 69 6e 74 20 69 |the brea|kpoint i|
|000009a0| 74 73 65 6c 66 2c 5c 5c | 0d 20 20 5b 5b 46 6f 6c |tself,\\|.  [[Fol|
|000009b0| 6c 6f 77 5d 5d 26 74 68 | 65 20 69 6e 73 74 72 75 |low]]&th|e instru|
|000009c0| 63 74 69 6f 6e 28 73 29 | 20 66 6f 6c 6c 6f 77 69 |ction(s)| followi|
|000009d0| 6e 67 20 74 68 65 20 62 | 72 65 61 6b 70 6f 69 6e |ng the b|reakpoin|
|000009e0| 74 2c 5c 5c 0d 20 20 5b | 5b 4f 75 74 73 69 64 65 |t,\\.  [|[Outside|
|000009f0| 5d 5d 26 6f 75 74 73 69 | 64 65 20 74 68 65 20 62 |]]&outsi|de the b|
|00000a00| 72 65 61 6b 70 6f 69 6e | 74 2e 5c 5c 0d 5c 65 6e |reakpoin|t.\\.\en|
|00000a10| 64 7b 74 61 62 75 6c 61 | 72 7d 0d 5c 65 6e 64 7b |d{tabula|r}.\end{|
|00000a20| 71 75 6f 74 65 7d 0d 5c | 73 65 6d 69 66 69 6c 62 |quote}.\|semifilb|
|00000a30| 72 65 61 6b 7b 32 5c 62 | 61 73 65 6c 69 6e 65 73 |reak{2\b|aselines|
|00000a40| 6b 69 70 7d 0d 5c 6e 6f | 69 6e 64 65 6e 74 20 54 |kip}.\no|indent T|
|00000a50| 68 65 20 74 68 72 65 65 | 20 73 65 74 73 20 61 72 |he three| sets ar|
|00000a60| 65 20 6d 6f 64 65 6c 65 | 64 20 62 79 20 74 68 65 |e modele|d by the|
|00000a70| 20 66 6f 6c 6c 6f 77 69 | 6e 67 20 63 6f 6e 73 74 | followi|ng const|
|00000a80| 61 6e 74 73 2e 0d 3c 3c | 64 65 63 6c 61 72 61 74 |ants..<<|declarat|
|00000a90| 69 6f 6e 73 3e 3e 3d 0d | 23 64 65 66 69 6e 65 20 |ions>>=.|#define |
|00000aa0| 4e 50 43 53 20 33 0d 23 | 64 65 66 69 6e 65 20 42 |NPCS 3.#|define B|
|00000ab0| 72 65 61 6b 20 20 20 30 | 09 2f 2a 20 70 63 20 61 |reak   0|./* pc a|
|00000ac0| 74 20 74 68 65 20 62 72 | 65 61 6b 70 6f 69 6e 74 |t the br|eakpoint|
|00000ad0| 20 2a 2f 0d 23 64 65 66 | 69 6e 65 20 46 6f 6c 6c | */.#def|ine Foll|
|00000ae0| 6f 77 20 20 31 09 2f 2a | 20 70 63 20 69 6e 20 62 |ow  1./*| pc in b|
|00000af0| 72 65 61 6b 70 6f 69 6e | 74 27 73 20 66 6f 6c 6c |reakpoin|t's foll|
|00000b00| 6f 77 20 73 65 74 20 2a | 2f 0d 23 64 65 66 69 6e |ow set *|/.#defin|
|00000b10| 65 20 4f 75 74 73 69 64 | 65 20 32 09 2f 2a 20 61 |e Outsid|e 2./* a|
|00000b20| 6c 6c 20 6f 74 68 65 72 | 20 70 63 27 73 20 2a 2f |ll other| pc's */|
|00000b30| 0d 40 20 0d 0d 54 68 65 | 20 61 62 69 6c 69 74 79 |.@ ..The| ability|
|00000b40| 20 74 6f 20 70 6c 61 6e | 74 20 74 72 61 70 73 20 | to plan|t traps |
|00000b50| 69 73 20 6d 6f 64 65 6c | 65 64 20 62 79 20 74 68 |is model|ed by th|
|00000b60| 65 20 61 72 72 61 79 20 | 5b 5b 74 72 61 70 70 65 |e array |[[trappe|
|00000b70| 64 5d 5d 2c 20 77 68 69 | 63 68 0d 72 65 63 6f 72 |d]], whi|ch.recor|
|00000b80| 64 73 20 77 68 65 74 68 | 65 72 20 61 20 74 72 61 |ds wheth|er a tra|
|00000b90| 70 20 69 6e 73 74 72 75 | 63 74 69 6f 6e 20 68 61 |p instru|ction ha|
|00000ba0| 73 20 62 65 65 6e 20 0d | 73 74 6f 72 65 64 20 61 |s been .|stored a|
|00000bb0| 74 20 61 20 70 61 72 74 | 69 63 75 6c 61 72 20 6c |t a part|icular l|
|00000bc0| 6f 63 61 74 69 6f 6e 3a | 0d 3c 3c 64 65 63 6c 61 |ocation:|.<<decla|
|00000bd0| 72 61 74 69 6f 6e 73 3e | 3e 3d 0d 62 6f 6f 6c 20 |rations>|>=.bool |
|00000be0| 74 72 61 70 70 65 64 5b | 4e 50 43 53 5d 3b 0d 40 |trapped[|NPCS];.@|
|00000bf0| 0d 0d 54 68 65 20 6d 6f | 64 65 6c 20 68 61 73 20 |..The mo|del has |
|00000c00| 66 69 76 65 20 61 63 74 | 69 76 65 20 63 6f 6d 70 |five act|ive comp|
|00000c10| 6f 6e 65 6e 74 73 3a 20 | 74 77 6f 20 74 68 72 65 |onents: |two thre|
|00000c20| 61 64 73 2c 20 61 20 43 | 50 55 20 74 68 61 74 0d |ads, a C|PU that.|
|00000c30| 65 78 65 63 75 74 65 73 | 20 6f 6e 65 20 74 68 72 |executes| one thr|
|00000c40| 65 61 64 20 61 74 20 61 | 20 74 69 6d 65 2c 20 74 |ead at a| time, t|
|00000c50| 68 65 20 62 72 65 61 6b | 70 6f 69 6e 74 2c 20 61 |he break|point, a|
|00000c60| 6e 64 20 74 68 65 20 72 | 65 73 74 20 6f 66 20 74 |nd the r|est of t|
|00000c70| 68 65 20 64 65 62 75 67 | 67 65 72 2e 0d 48 65 72 |he debug|ger..Her|
|00000c80| 65 20 61 72 65 20 74 68 | 65 20 63 68 61 6e 6e 65 |e are th|e channe|
|00000c90| 6c 73 20 74 68 61 74 20 | 61 72 65 20 75 73 65 64 |ls that |are used|
|00000ca0| 20 66 6f 72 20 63 6f 6d | 6d 75 6e 69 63 61 74 69 | for com|municati|
|00000cb0| 6f 6e 20 62 65 74 77 65 | 65 6e 20 74 68 65 0d 74 |on betwe|en the.t|
|00000cc0| 68 72 65 61 64 73 2c 20 | 74 68 65 20 43 50 55 2c |hreads, |the CPU,|
|00000cd0| 20 74 68 65 20 62 72 65 | 61 6b 70 6f 69 6e 74 2c | the bre|akpoint,|
|00000ce0| 20 61 6e 64 20 74 68 65 | 20 64 65 62 75 67 67 65 | and the| debugge|
|00000cf0| 72 2e 0d 54 61 6b 69 6e | 67 20 61 20 62 72 65 61 |r..Takin|g a brea|
|00000d00| 6b 70 6f 69 6e 74 20 61 | 63 74 69 6f 6e 20 69 73 |kpoint a|ction is|
|00000d10| 20 6d 6f 64 65 6c 65 64 | 20 62 79 20 73 65 6e 64 | modeled| by send|
|00000d20| 69 6e 67 20 61 20 6d 65 | 73 73 61 67 65 20 6f 6e |ing a me|ssage on|
|00000d30| 20 74 68 65 20 63 68 61 | 6e 6e 65 6c 20 0d 5b 5b | the cha|nnel .[[|
|00000d40| 62 72 65 61 6b 61 63 74 | 69 6f 6e 5d 5d 2e 0d 3c |breakact|ion]]..<|
|00000d50| 3c 64 65 63 6c 61 72 61 | 74 69 6f 6e 73 3e 3e 3d |<declara|tions>>=|
|00000d60| 0d 63 68 61 6e 20 65 78 | 65 63 75 74 65 5b 4e 54 |.chan ex|ecute[NT|
|00000d70| 48 52 45 41 44 53 5d 20 | 3d 20 5b 30 5d 20 6f 66 |HREADS] |= [0] of|
|00000d80| 20 7b 62 69 74 7d 3b 09 | 20 20 2f 2a 20 74 72 79 | {bit};.|  /* try|
|00000d90| 20 74 6f 20 65 78 65 63 | 75 74 65 20 69 6e 73 74 | to exec|ute inst|
|00000da0| 72 75 63 74 69 6f 6e 20 | 2a 2f 0d 63 68 61 6e 20 |ruction |*/.chan |
|00000db0| 63 6f 6e 74 5b 4e 54 48 | 52 45 41 44 53 5d 20 20 |cont[NTH|READS]  |
|00000dc0| 20 20 3d 20 5b 30 5d 20 | 6f 66 20 7b 62 69 74 7d |  = [0] |of {bit}|
|00000dd0| 3b 09 20 20 2f 2a 20 69 | 6e 73 74 72 75 63 74 69 |;.  /* i|nstructi|
|00000de0| 6f 6e 20 65 78 65 63 75 | 74 65 64 20 2a 2f 0d 63 |on execu|ted */.c|
|00000df0| 68 61 6e 20 74 72 61 70 | 20 20 20 20 20 20 20 20 |han trap|        |
|00000e00| 20 20 20 20 20 20 3d 20 | 5b 30 5d 20 6f 66 20 7b |      = |[0] of {|
|00000e10| 62 79 74 65 7d 3b 09 20 | 20 2f 2a 20 43 50 55 20 |byte};. | /* CPU |
|00000e20| 74 72 61 70 70 65 64 20 | 6f 6e 20 69 64 21 20 2a |trapped |on id! *|
|00000e30| 2f 0d 63 68 61 6e 20 72 | 65 73 75 6d 65 20 20 20 |/.chan r|esume   |
|00000e40| 20 20 20 20 20 20 20 20 | 20 3d 20 5b 30 5d 20 6f |        | = [0] o|
|00000e50| 66 20 7b 62 69 74 7d 3b | 09 20 20 2f 2a 20 64 65 |f {bit};|.  /* de|
|00000e60| 62 75 67 67 65 72 20 72 | 65 73 75 6d 65 64 20 61 |bugger r|esumed a|
|00000e70| 66 74 65 72 20 74 72 61 | 70 20 2a 2f 0d 63 68 61 |fter tra|p */.cha|
|00000e80| 6e 20 62 72 65 61 6b 61 | 63 74 69 6f 6e 20 20 20 |n breaka|ction   |
|00000e90| 20 20 20 20 3d 20 5b 30 | 5d 20 6f 66 20 7b 62 79 |    = [0|] of {by|
|00000ea0| 74 65 7d 3b 09 20 20 2f | 2a 20 64 65 6c 69 76 65 |te};.  /|* delive|
|00000eb0| 72 20 62 72 65 61 6b 70 | 6f 69 6e 74 20 74 6f 20 |r breakp|oint to |
|00000ec0| 64 65 62 75 67 67 65 72 | 20 2a 2f 0d 40 20 5c 6e |debugger| */.@ \n|
|00000ed0| 6f 69 6e 64 65 6e 74 20 | 5b 5b 5b 30 5d 5d 5d 20 |oindent |[[[0]]] |
|00000ee0| 69 6e 64 69 63 61 74 65 | 73 20 74 68 61 74 20 74 |indicate|s that t|
|00000ef0| 68 65 20 63 68 61 6e 6e | 65 6c 73 20 61 72 65 20 |he chann|els are |
|00000f00| 73 79 6e 63 68 72 6f 6e | 6f 75 73 3b 0d 20 73 65 |synchron|ous;. se|
|00000f10| 6e 64 65 72 73 20 62 6c | 6f 63 6b 20 75 6e 74 69 |nders bl|ock unti|
|00000f20| 6c 20 61 20 72 65 63 65 | 69 76 65 72 20 69 73 20 |l a rece|iver is |
|00000f30| 72 65 61 64 79 20 61 6e | 64 20 76 69 63 65 7e 76 |ready an|d vice~v|
|00000f40| 65 72 73 61 2e 7b 5c 68 | 66 75 7a 7a 3d 30 2e 39 |ersa.{\h|fuzz=0.9|
|00000f50| 70 74 5c 70 61 72 7d 0d | 0d 54 68 65 20 63 6f 6d |pt\par}.|.The com|
|00000f60| 6d 75 6e 69 63 61 74 69 | 6f 6e 20 73 74 72 75 63 |municati|on struc|
|00000f70| 74 75 72 65 20 69 73 3a | 0d 5c 62 65 67 69 6e 7b |ture is:|.\begin{|
|00000f80| 63 65 6e 74 65 72 7d 0d | 5c 73 65 74 6c 65 6e 67 |center}.|\setleng|
|00000f90| 74 68 7b 5c 75 6e 69 74 | 6c 65 6e 67 74 68 7d 7b |th{\unit|length}{|
|00000fa0| 30 2e 30 31 69 6e 7d 25 | 0d 5c 66 6f 6f 74 6e 6f |0.01in}%|.\footno|
|00000fb0| 74 65 73 69 7a 65 0d 5c | 62 65 67 69 6e 7b 70 69 |tesize.\|begin{pi|
|00000fc0| 63 74 75 72 65 7d 28 35 | 38 30 2c 31 38 30 29 28 |cture}(5|80,180)(|
|00000fd0| 20 35 30 2c 2d 39 30 29 | 0d 5c 74 68 69 63 6b 6c | 50,-90)|.\thickl|
|00000fe0| 69 6e 65 73 0d 5c 70 75 | 74 28 35 38 35 2c 20 20 |ines.\pu|t(585,  |
|00000ff0| 30 29 7b 5c 6f 76 61 6c | 28 39 30 2c 36 30 29 7d |0){\oval|(90,60)}|
|00001000| 0d 5c 70 75 74 28 34 30 | 32 2c 20 20 30 29 7b 5c |.\put(40|2,  0){\|
|00001010| 6f 76 61 6c 28 39 30 2c | 36 32 29 7d 0d 5c 70 75 |oval(90,|62)}.\pu|
|00001020| 74 28 32 35 32 2c 20 20 | 30 29 7b 5c 6f 76 61 6c |t(252,  |0){\oval|
|00001030| 28 39 30 2c 36 30 29 7d | 0d 5c 70 75 74 28 20 39 |(90,60)}|.\put( 9|
|00001040| 35 2c 20 36 30 29 7b 5c | 6f 76 61 6c 28 39 30 2c |5, 60){\|oval(90,|
|00001050| 36 30 29 7d 0d 5c 70 75 | 74 28 20 39 35 2c 2d 36 |60)}.\pu|t( 95,-6|
|00001060| 30 29 7b 5c 6f 76 61 6c | 28 39 30 2c 36 30 29 7d |0){\oval|(90,60)}|
|00001070| 0d 5c 70 75 74 28 32 39 | 35 2c 20 31 30 29 7b 5c |.\put(29|5, 10){\|
|00001080| 76 65 63 74 6f 72 28 20 | 31 2c 20 30 29 7b 20 36 |vector( |1, 0){ 6|
|00001090| 30 7d 7d 0d 5c 70 75 74 | 28 33 35 35 2c 2d 31 30 |0}}.\put|(355,-10|
|000010a0| 29 7b 5c 76 65 63 74 6f | 72 28 2d 31 2c 20 30 29 |){\vecto|r(-1, 0)|
|000010b0| 7b 20 36 30 7d 7d 0d 5c | 70 75 74 28 34 35 30 2c |{ 60}}.\|put(450,|
|000010c0| 20 20 30 29 7b 5c 76 65 | 63 74 6f 72 28 20 31 2c |  0){\ve|ctor( 1,|
|000010d0| 20 30 29 7b 20 39 30 7d | 7d 0d 5c 70 75 74 28 31 | 0){ 90}|}.\put(1|
|000010e0| 34 30 2c 20 35 35 29 7b | 5c 76 65 63 74 6f 72 28 |40, 55){|\vector(|
|000010f0| 20 32 2c 2d 31 29 7b 20 | 37 30 7d 7d 0d 5c 70 75 | 2,-1){ |70}}.\pu|
|00001100| 74 28 32 30 35 2c 20 31 | 30 29 7b 5c 76 65 63 74 |t(205, 1|0){\vect|
|00001110| 6f 72 28 2d 32 2c 20 31 | 29 7b 20 37 30 7d 7d 0d |or(-2, 1|){ 70}}.|
|00001120| 5c 70 75 74 28 31 33 35 | 2c 2d 34 35 29 7b 5c 76 |\put(135|,-45){\v|
|00001130| 65 63 74 6f 72 28 20 32 | 2c 20 31 29 7b 20 37 30 |ector( 2|, 1){ 70|
|00001140| 7d 7d 0d 5c 70 75 74 28 | 32 31 30 2c 2d 32 30 29 |}}.\put(|210,-20)|
|00001150| 7b 5c 76 65 63 74 6f 72 | 28 2d 32 2c 2d 31 29 7b |{\vector|(-2,-1){|
|00001160| 20 37 30 7d 7d 0d 5c 70 | 75 74 28 35 38 35 2c 20 | 70}}.\p|ut(585, |
|00001170| 20 30 29 7b 5c 6d 61 6b | 65 62 6f 78 28 30 2c 30 | 0){\mak|ebox(0,0|
|00001180| 29 7b 7b 5c 74 74 20 64 | 65 62 75 67 67 65 72 28 |){{\tt d|ebugger(|
|00001190| 29 7d 7d 7d 0d 5c 70 75 | 74 28 34 30 32 2c 20 20 |)}}}.\pu|t(402,  |
|000011a0| 30 29 7b 5c 6d 61 6b 65 | 62 6f 78 28 30 2c 30 29 |0){\make|box(0,0)|
|000011b0| 7b 7b 5c 74 74 20 62 72 | 65 61 6b 70 6f 69 6e 74 |{{\tt br|eakpoint|
|000011c0| 28 29 7d 7d 7d 0d 5c 70 | 75 74 28 32 35 35 2c 20 |()}}}.\p|ut(255, |
|000011d0| 20 30 29 7b 5c 6d 61 6b | 65 62 6f 78 28 30 2c 30 | 0){\mak|ebox(0,0|
|000011e0| 29 7b 7b 5c 74 74 20 43 | 50 55 28 29 7d 7d 7d 0d |){{\tt C|PU()}}}.|
|000011f0| 5c 70 75 74 28 20 39 35 | 2c 2d 36 35 29 7b 5c 6d |\put( 95|,-65){\m|
|00001200| 61 6b 65 62 6f 78 28 30 | 2c 30 29 5b 62 5d 7b 7b |akebox(0|,0)[b]{{|
|00001210| 5c 74 74 20 74 68 72 65 | 61 64 28 31 29 7d 7d 7d |\tt thre|ad(1)}}}|
|00001220| 0d 5c 70 75 74 28 20 39 | 35 2c 20 35 35 29 7b 5c |.\put( 9|5, 55){\|
|00001230| 6d 61 6b 65 62 6f 78 28 | 30 2c 30 29 5b 62 5d 7b |makebox(|0,0)[b]{|
|00001240| 7b 5c 74 74 20 74 68 72 | 65 61 64 28 30 29 7d 7d |{\tt thr|ead(0)}}|
|00001250| 7d 0d 5c 70 75 74 28 31 | 36 35 2c 2d 32 31 29 7b |}.\put(1|65,-21){|
|00001260| 5c 6d 61 6b 65 62 6f 78 | 28 30 2c 30 29 5b 72 62 |\makebox|(0,0)[rb|
|00001270| 5d 7b 7b 5c 74 74 20 65 | 78 65 63 75 74 65 5b 31 |]{{\tt e|xecute[1|
|00001280| 5d 7d 7d 7d 0d 5c 70 75 | 74 28 31 36 35 2c 20 31 |]}}}.\pu|t(165, 1|
|00001290| 36 29 7b 5c 6d 61 6b 65 | 62 6f 78 28 30 2c 30 29 |6){\make|box(0,0)|
|000012a0| 5b 72 62 5d 7b 7b 5c 74 | 74 20 63 6f 6e 74 5b 30 |[rb]{{\t|t cont[0|
|000012b0| 5d 7d 7d 7d 0d 5c 70 75 | 74 28 31 37 30 2c 2d 35 |]}}}.\pu|t(170,-5|
|000012c0| 30 29 7b 5c 6d 61 6b 65 | 62 6f 78 28 30 2c 30 29 |0){\make|box(0,0)|
|000012d0| 5b 6c 62 5d 7b 7b 5c 74 | 74 20 63 6f 6e 74 5b 31 |[lb]{{\t|t cont[1|
|000012e0| 5d 7d 7d 7d 0d 5c 70 75 | 74 28 31 36 35 2c 20 35 |]}}}.\pu|t(165, 5|
|000012f0| 30 29 7b 5c 6d 61 6b 65 | 62 6f 78 28 30 2c 30 29 |0){\make|box(0,0)|
|00001300| 5b 6c 62 5d 7b 7b 5c 74 | 74 20 65 78 65 63 75 74 |[lb]{{\t|t execut|
|00001310| 65 5b 30 5d 7d 7d 7d 0d | 5c 70 75 74 28 33 33 30 |e[0]}}}.|\put(330|
|00001320| 2c 2d 32 30 29 7b 5c 6d | 61 6b 65 62 6f 78 28 30 |,-20){\m|akebox(0|
|00001330| 2c 30 29 5b 62 5d 7b 7b | 5c 74 74 20 72 65 73 75 |,0)[b]{{|\tt resu|
|00001340| 6d 65 7d 7d 7d 0d 5c 70 | 75 74 28 33 33 30 2c 20 |me}}}.\p|ut(330, |
|00001350| 31 35 29 7b 5c 6d 61 6b | 65 62 6f 78 28 30 2c 30 |15){\mak|ebox(0,0|
|00001360| 29 5b 62 5d 7b 7b 5c 74 | 74 20 74 72 61 70 21 69 |)[b]{{\t|t trap!i|
|00001370| 64 7d 7d 7d 0d 5c 70 75 | 74 28 34 39 33 2c 20 20 |d}}}.\pu|t(493,  |
|00001380| 35 29 7b 5c 6d 61 6b 65 | 62 6f 78 28 30 2c 30 29 |5){\make|box(0,0)|
|00001390| 5b 62 5d 7b 7b 5c 74 74 | 20 62 72 65 61 6b 61 63 |[b]{{\tt| breakac|
|000013a0| 74 69 6f 6e 21 69 64 7d | 7d 7d 0d 5c 65 6e 64 7b |tion!id}|}}.\end{|
|000013b0| 70 69 63 74 75 72 65 7d | 0d 5c 65 6e 64 7b 63 65 |picture}|.\end{ce|
|000013c0| 6e 74 65 72 7d 0d 40 0d | 0d 5c 6e 6f 69 6e 64 65 |nter}.@.|.\noinde|
|000013d0| 6e 74 20 54 68 65 20 43 | 50 55 20 72 65 70 65 61 |nt The C|PU repea|
|000013e0| 74 73 20 74 68 65 20 66 | 6f 6c 6c 6f 77 69 6e 67 |ts the f|ollowing|
|000013f0| 20 73 74 65 70 73 2e 0d | 5c 62 65 67 69 6e 7b 65 | steps..|\begin{e|
|00001400| 6e 75 6d 65 72 61 74 65 | 7d 5c 73 69 6e 67 6c 65 |numerate|}\single|
|00001410| 0d 5c 69 74 65 6d 0d 57 | 61 69 74 20 66 6f 72 20 |.\item.W|ait for |
|00001420| 61 20 74 68 72 65 61 64 | 20 74 6f 20 61 74 74 65 |a thread| to atte|
|00001430| 6d 70 74 20 74 6f 20 65 | 78 65 63 75 74 65 20 74 |mpt to e|xecute t|
|00001440| 68 65 20 69 6e 73 74 72 | 75 63 74 69 6f 6e 20 61 |he instr|uction a|
|00001450| 74 20 5b 5b 70 63 5d 5d | 2e 0d 5c 69 74 65 6d 0d |t [[pc]]|..\item.|
|00001460| 49 66 20 74 68 65 20 69 | 6e 73 74 72 75 63 74 69 |If the i|nstructi|
|00001470| 6f 6e 20 69 73 20 61 20 | 74 72 61 70 2c 20 6e 6f |on is a |trap, no|
|00001480| 74 69 66 79 20 74 68 65 | 20 64 65 62 75 67 67 65 |tify the| debugge|
|00001490| 72 2e 0d 57 68 65 6e 20 | 74 68 65 20 64 65 62 75 |r..When |the debu|
|000014a0| 67 67 65 72 20 74 65 6c | 6c 73 20 74 68 65 20 43 |gger tel|ls the C|
|000014b0| 50 55 20 74 6f 20 72 65 | 73 75 6d 65 2c 20 5b 5b |PU to re|sume, [[|
|000014c0| 70 63 5d 5d 20 69 73 20 | 75 6e 63 68 61 6e 67 65 |pc]] is |unchange|
|000014d0| 64 2e 0d 5c 69 74 65 6d | 0d 49 66 20 74 68 65 20 |d..\item|.If the |
|000014e0| 69 6e 73 74 72 75 63 74 | 69 6f 6e 20 69 73 20 6e |instruct|ion is n|
|000014f0| 6f 74 20 61 20 74 72 61 | 70 2c 20 61 64 76 61 6e |ot a tra|p, advan|
|00001500| 63 65 20 5b 5b 70 63 5d | 5d 2e 0d 5c 69 74 65 6d |ce [[pc]|]..\item|
|00001510| 0d 41 73 6b 20 74 68 65 | 20 74 68 72 65 61 64 20 |.Ask the| thread |
|00001520| 74 6f 20 63 6f 6e 74 69 | 6e 75 65 20 65 78 65 63 |to conti|nue exec|
|00001530| 75 74 69 6e 67 2e 0d 5c | 65 6e 64 7b 65 6e 75 6d |uting..\|end{enum|
|00001540| 65 72 61 74 65 7d 20 0d | 54 68 65 72 65 20 69 73 |erate} .|There is|
|00001550| 20 6f 6e 6c 79 20 6f 6e | 65 20 64 65 62 75 67 67 | only on|e debugg|
|00001560| 65 72 2c 20 62 75 74 20 | 74 68 65 72 65 20 61 72 |er, but |there ar|
|00001570| 65 20 6d 75 6c 74 69 70 | 6c 65 20 74 68 72 65 61 |e multip|le threa|
|00001580| 64 73 2c 20 61 6e 64 20 | 65 61 63 68 0d 6f 6e 65 |ds, and |each.one|
|00001590| 20 68 61 73 20 69 74 73 | 20 6f 77 6e 20 5b 5b 70 | has its| own [[p|
|000015a0| 63 5d 5d 20 61 6e 64 20 | 69 74 73 20 6f 77 6e 20 |c]] and |its own |
|000015b0| 63 6f 6d 6d 75 6e 69 63 | 61 74 69 6f 6e 20 77 69 |communic|ation wi|
|000015c0| 74 68 20 74 68 65 20 43 | 50 55 2e 0d 57 68 65 6e |th the C|PU..When|
|000015d0| 20 74 68 65 20 43 50 55 | 20 6e 6f 74 69 66 69 65 | the CPU| notifie|
|000015e0| 73 20 74 68 65 20 64 65 | 62 75 67 67 65 72 20 6f |s the de|bugger o|
|000015f0| 66 20 61 20 74 72 61 70 | 2c 20 69 74 20 69 64 65 |f a trap|, it ide|
|00001600| 6e 74 69 66 69 65 73 20 | 74 68 65 0d 74 72 61 70 |ntifies |the.trap|
|00001610| 70 69 6e 67 20 74 68 72 | 65 61 64 2e 0d 4f 74 68 |ping thr|ead..Oth|
|00001620| 65 72 20 6d 65 73 73 61 | 67 65 73 20 61 72 65 20 |er messa|ges are |
|00001630| 75 73 65 64 20 6f 6e 6c | 79 20 66 6f 72 20 73 79 |used onl|y for sy|
|00001640| 6e 63 68 72 6f 6e 69 7a | 61 74 69 6f 6e 2c 20 73 |nchroniz|ation, s|
|00001650| 6f 20 74 68 65 79 20 73 | 65 6e 64 20 61 6e 64 0d |o they s|end and.|
|00001660| 72 65 63 65 69 76 65 20 | 74 68 65 20 6e 6f 6e 73 |receive |the nons|
|00001670| 65 6e 73 65 20 76 61 72 | 69 61 62 6c 65 20 5b 5b |ense var|iable [[|
|00001680| 78 5d 5d 2e 0d 3c 3c 64 | 65 63 6c 61 72 61 74 69 |x]]..<<d|eclarati|
|00001690| 6f 6e 73 3e 3e 3d 0d 62 | 69 74 20 78 3b 09 09 09 |ons>>=.b|it x;...|
|000016a0| 2f 2a 20 6a 75 6e 6b 20 | 76 61 72 69 61 62 6c 65 |/* junk |variable|
|000016b0| 20 66 6f 72 20 73 65 6e | 64 69 6e 67 20 6d 65 73 | for sen|ding mes|
|000016c0| 73 61 67 65 73 20 2a 2f | 0d 40 0d 41 20 5b 5b 70 |sages */|.@.A [[p|
|000016d0| 72 6f 63 74 79 70 65 5d | 5d 20 69 73 20 61 20 70 |roctype]|] is a p|
|000016e0| 72 6f 63 65 64 75 72 65 | 20 74 68 61 74 20 61 20 |rocedure| that a |
|000016f0| 74 68 72 65 61 64 20 63 | 61 6e 20 65 78 65 63 75 |thread c|an execu|
|00001700| 74 65 3b 20 74 68 69 73 | 20 6f 6e 65 0d 6d 6f 64 |te; this| one.mod|
|00001710| 65 6c 73 20 74 68 65 20 | 43 50 55 2e 0d 20 5b 5b |els the |CPU.. [[|
|00001720| 63 3f 78 5d 5d 20 72 65 | 63 65 69 76 65 73 20 74 |c?x]] re|ceives t|
|00001730| 68 65 20 76 61 6c 75 65 | 20 5b 5b 78 5d 5d 20 6f |he value| [[x]] o|
|00001740| 6e 20 63 68 61 6e 6e 65 | 6c 20 5b 5b 63 5d 5d 3b |n channe|l [[c]];|
|00001750| 20 5b 5b 63 21 78 5d 5d | 20 73 65 6e 64 73 2e 0d | [[c!x]]| sends..|
|00001760| 41 72 72 6f 77 73 20 28 | 5b 5b 2d 3e 5d 5d 29 20 |Arrows (|[[->]]) |
|00001770| 73 65 70 61 72 61 74 65 | 20 67 75 61 72 64 73 20 |separate| guards |
|00001780| 66 72 6f 6d 20 63 6f 6d | 6d 61 6e 64 73 2e 0d 3c |from com|mands..<|
|00001790| 3c 70 72 6f 63 74 79 70 | 65 73 3e 3e 3d 0d 70 72 |<proctyp|es>>=.pr|
|000017a0| 6f 63 74 79 70 65 20 43 | 50 55 28 62 79 74 65 20 |octype C|PU(byte |
|000017b0| 63 6f 75 6e 74 29 20 7b | 0d 20 20 74 68 72 65 61 |count) {|.  threa|
|000017c0| 64 69 64 20 69 64 20 3d | 20 30 3b 0d 20 20 64 6f |did id =| 0;.  do|
|000017d0| 0d 20 20 3a 3a 20 65 78 | 65 63 75 74 65 5b 69 64 |.  :: ex|ecute[id|
|000017e0| 5d 3f 78 20 2d 3e 0d 20 | 20 20 20 20 20 20 69 66 |]?x ->. |      if|
|000017f0| 0d 20 20 20 20 20 20 20 | 3a 3a 20 20 74 72 61 70 |.       |::  trap|
|00001800| 70 65 64 5b 70 63 5b 69 | 64 5d 5d 20 2d 3e 20 74 |ped[pc[i|d]] -> t|
|00001810| 72 61 70 21 69 64 20 3b | 20 72 65 73 75 6d 65 3f |rap!id ;| resume?|
|00001820| 78 0d 20 20 20 20 20 20 | 20 3a 3a 20 21 74 72 61 |x.      | :: !tra|
|00001830| 70 70 65 64 5b 70 63 5b | 69 64 5d 5d 20 2d 3e 20 |pped[pc[|id]] -> |
|00001840| 3c 3c 61 64 76 61 6e 63 | 65 20 5b 5b 70 63 5b 69 |<<advanc|e [[pc[i|
|00001850| 64 5d 5d 5d 3e 3e 0d 20 | 20 20 20 20 20 20 66 69 |d]]]>>. |      fi|
|00001860| 3b 0d 20 20 20 20 20 20 | 20 63 6f 6e 74 5b 69 64 |;.      | cont[id|
|00001870| 5d 21 78 3b 0d 20 20 20 | 20 20 20 20 3c 3c 70 6f |]!x;.   |    <<po|
|00001880| 73 73 69 62 6c 65 20 63 | 6f 6e 74 65 78 74 20 73 |ssible c|ontext s|
|00001890| 77 69 74 63 68 20 28 63 | 68 61 6e 67 65 20 6f 66 |witch (c|hange of|
|000018a0| 20 5b 5b 69 64 5d 5d 29 | 3e 3e 0d 20 20 6f 64 0d | [[id]])|>>.  od.|
|000018b0| 7d 0d 40 20 43 6f 6e 74 | 65 78 74 20 73 77 69 74 |}.@ Cont|ext swit|
|000018c0| 63 68 69 6e 67 20 69 73 | 20 64 69 73 63 75 73 73 |ching is| discuss|
|000018d0| 65 64 20 62 65 6c 6f 77 | 2e 0d 40 0d 5c 73 65 6d |ed below|..@.\sem|
|000018e0| 69 66 69 6c 62 72 65 61 | 6b 7b 31 69 6e 7d 20 25 |ifilbrea|k{1in} %|
|000018f0| 20 70 61 67 65 20 74 75 | 6e 69 6e 67 0d 40 20 0d | page tu|ning.@ .|
|00001900| 53 69 6e 63 65 20 74 68 | 65 20 70 72 6f 67 72 61 |Since th|e progra|
|00001910| 6d 20 63 6f 75 6e 74 65 | 72 20 69 73 20 61 6e 20 |m counte|r is an |
|00001920| 61 62 73 74 72 61 63 74 | 69 6f 6e 2c 20 61 64 76 |abstract|ion, adv|
|00001930| 61 6e 63 69 6e 67 20 69 | 74 20 64 6f 65 73 20 6e |ancing i|t does n|
|00001940| 6f 74 0d 6d 65 61 6e 20 | 69 6e 63 72 65 6d 65 6e |ot.mean |incremen|
|00001950| 74 69 6e 67 20 69 74 2e | 20 20 41 20 73 75 63 63 |ting it.|  A succ|
|00001960| 65 73 73 66 75 6c 20 65 | 78 65 63 75 74 69 6f 6e |essful e|xecution|
|00001970| 20 61 74 20 5b 5b 42 72 | 65 61 6b 5d 5d 20 69 73 | at [[Br|eak]] is|
|00001980| 0d 67 75 61 72 61 6e 74 | 65 65 64 20 74 6f 20 62 |.guarant|eed to b|
|00001990| 65 20 66 6f 6c 6c 6f 77 | 65 64 20 62 79 20 61 6e |e follow|ed by an|
|000019a0| 20 61 74 74 65 6d 70 74 | 20 74 6f 20 65 78 65 63 | attempt| to exec|
|000019b0| 75 74 65 20 5b 5b 46 6f | 6c 6c 6f 77 5d 5d 3b 0d |ute [[Fo|llow]];.|
|000019c0| 61 73 69 64 65 20 66 72 | 6f 6d 20 74 68 61 74 2c |aside fr|om that,|
|000019d0| 20 61 6e 79 20 69 6e 73 | 74 72 75 63 74 69 6f 6e | any ins|truction|
|000019e0| 20 63 61 6e 20 66 6f 6c | 6c 6f 77 20 61 6e 79 20 | can fol|low any |
|000019f0| 6f 74 68 65 72 2e 0d 3c | 3c 61 64 76 61 6e 63 65 |other..<|<advance|
|00001a00| 20 5b 5b 70 63 5b 69 64 | 5d 5d 5d 3e 3e 3d 0d 69 | [[pc[id|]]]>>=.i|
|00001a10| 66 0d 3a 3a 20 70 63 5b | 69 64 5d 20 3d 3d 20 42 |f.:: pc[|id] == B|
|00001a20| 72 65 61 6b 20 2d 3e 20 | 70 63 5b 69 64 5d 20 3d |reak -> |pc[id] =|
|00001a30| 20 46 6f 6c 6c 6f 77 0d | 3a 3a 20 70 63 5b 69 64 | Follow.|:: pc[id|
|00001a40| 5d 20 21 3d 20 42 72 65 | 61 6b 20 2d 3e 20 2f 2a |] != Bre|ak -> /*|
|00001a50| 20 61 6e 79 20 69 6e 73 | 74 72 75 63 74 69 6f 6e | any ins|truction|
|00001a60| 20 63 61 6e 20 62 65 20 | 6e 65 78 74 20 2a 2f 0d | can be |next */.|
|00001a70| 20 20 20 20 20 69 66 20 | 0d 20 20 20 20 20 3a 3a |     if |.     ::|
|00001a80| 20 70 63 5b 69 64 5d 20 | 3d 20 4f 75 74 73 69 64 | pc[id] |= Outsid|
|00001a90| 65 0d 20 20 20 20 20 3a | 3a 20 70 63 5b 69 64 5d |e.     :|: pc[id]|
|00001aa0| 20 3d 20 42 72 65 61 6b | 0d 20 20 20 20 20 3a 3a | = Break|.     ::|
|00001ab0| 20 70 63 5b 69 64 5d 20 | 3d 20 46 6f 6c 6c 6f 77 | pc[id] |= Follow|
|00001ac0| 0d 20 20 20 20 20 66 69 | 0d 66 69 0d 40 20 5c 6e |.     fi|.fi.@ \n|
|00001ad0| 6f 69 6e 64 65 6e 74 0d | 54 68 65 20 73 65 63 6f |oindent.|The seco|
|00001ae0| 6e 64 20 5b 5b 69 66 5d | 5d 20 73 74 61 74 65 6d |nd [[if]|] statem|
|00001af0| 65 6e 74 20 68 61 73 20 | 6e 6f 20 67 75 61 72 64 |ent has |no guard|
|00001b00| 73 2c 20 73 6f 20 61 6e | 20 61 6c 74 65 72 6e 61 |s, so an| alterna|
|00001b10| 74 69 76 65 20 69 73 0d | 63 68 6f 73 65 6e 20 6e |tive is.|chosen n|
|00001b20| 6f 6e 64 65 74 65 72 6d | 69 6e 69 73 74 69 63 61 |ondeterm|inistica|
|00001b30| 6c 6c 79 2e 20 0d 0d 41 | 6c 6c 20 74 68 72 65 61 |lly. ..A|ll threa|
|00001b40| 64 73 20 62 65 67 69 6e | 20 65 78 65 63 75 74 69 |ds begin| executi|
|00001b50| 6f 6e 20 6f 75 74 73 69 | 64 65 20 74 68 65 20 62 |on outsi|de the b|
|00001b60| 72 65 61 6b 70 6f 69 6e | 74 2e 0d 3c 3c 64 65 63 |reakpoin|t..<<dec|
|00001b70| 6c 61 72 61 74 69 6f 6e | 73 3e 3e 3d 0d 62 79 74 |laration|s>>=.byt|
|00001b80| 65 20 70 63 5b 4e 54 48 | 52 45 41 44 53 5d 3b 0d |e pc[NTH|READS];.|
|00001b90| 3c 3c 69 6e 69 74 69 61 | 6c 69 7a 65 20 64 61 74 |<<initia|lize dat|
|00001ba0| 61 20 66 6f 72 20 74 68 | 72 65 61 64 20 5b 5b 69 |a for th|read [[i|
|00001bb0| 64 5d 5d 3e 3e 3d 0d 70 | 63 5b 69 64 5d 20 3d 20 |d]]>>=.p|c[id] = |
|00001bc0| 4f 75 74 73 69 64 65 3b | 0d 0d 40 0d 5c 73 65 63 |Outside;|..@.\sec|
|00001bd0| 74 69 6f 6e 7b 43 6f 75 | 6e 74 69 6e 67 20 65 76 |tion{Cou|nting ev|
|00001be0| 65 6e 74 73 7d 0d 54 68 | 65 20 63 6f 72 72 65 63 |ents}.Th|e correc|
|00001bf0| 74 6e 65 73 73 20 63 72 | 69 74 65 72 69 6f 6e 20 |tness cr|iterion |
|00001c00| 66 6f 72 20 74 68 65 20 | 62 72 65 61 6b 70 6f 69 |for the |breakpoi|
|00001c10| 6e 74 20 69 6d 70 6c 65 | 6d 65 6e 74 61 74 69 6f |nt imple|mentatio|
|00001c20| 6e 20 69 73 20 74 68 61 | 74 0d 6f 6e 65 20 62 72 |n is tha|t.one br|
|00001c30| 65 61 6b 70 6f 69 6e 74 | 20 61 63 74 69 6f 6e 20 |eakpoint| action |
|00001c40| 6d 75 73 74 20 62 65 20 | 74 61 6b 65 6e 20 66 6f |must be |taken fo|
|00001c50| 72 20 65 76 65 72 79 0d | 73 75 63 63 65 73 73 66 |r every.|successf|
|00001c60| 75 6c 20 65 78 65 63 75 | 74 69 6f 6e 20 6f 66 20 |ul execu|tion of |
|00001c70| 61 6e 20 69 6e 73 74 72 | 75 63 74 69 6f 6e 20 61 |an instr|uction a|
|00001c80| 74 20 5b 5b 42 72 65 61 | 6b 5d 5d 2e 0d 5b 5b 74 |t [[Brea|k]]..[[t|
|00001c90| 68 72 65 61 64 63 6f 75 | 6e 74 5b 69 64 5d 5d 5d |hreadcou|nt[id]]]|
|00001ca0| 20 63 6f 75 6e 74 73 20 | 68 6f 77 20 6d 61 6e 79 | counts |how many|
|00001cb0| 20 74 69 6d 65 73 20 74 | 68 72 65 61 64 7e 5b 5b | times t|hread~[[|
|00001cc0| 69 64 5d 5d 0d 68 61 73 | 20 65 78 65 63 75 74 65 |id]].has| execute|
|00001cd0| 64 20 74 68 65 20 62 72 | 65 61 6b 70 6f 69 6e 74 |d the br|eakpoint|
|00001ce0| 2c 20 61 6e 64 20 5b 5b | 61 63 74 69 6f 6e 63 6f |, and [[|actionco|
|00001cf0| 75 6e 74 5b 69 64 5d 5d | 5d 20 63 6f 75 6e 74 73 |unt[id]]|] counts|
|00001d00| 20 68 6f 77 20 6d 61 6e | 79 0d 62 72 65 61 6b 70 | how man|y.breakp|
|00001d10| 6f 69 6e 74 20 61 63 74 | 69 6f 6e 73 20 20 68 61 |oint act|ions  ha|
|00001d20| 76 65 20 62 65 65 6e 20 | 74 61 6b 65 6e 20 6f 6e |ve been |taken on|
|00001d30| 20 62 65 68 61 6c 66 20 | 6f 66 20 74 68 72 65 61 | behalf |of threa|
|00001d40| 64 7e 5b 5b 69 64 5d 5d | 2e 20 0d 3c 3c 64 65 63 |d~[[id]]|. .<<dec|
|00001d50| 6c 61 72 61 74 69 6f 6e | 73 3e 3e 3d 0d 62 79 74 |laration|s>>=.byt|
|00001d60| 65 20 74 68 72 65 61 64 | 63 6f 75 6e 74 5b 4e 54 |e thread|count[NT|
|00001d70| 48 52 45 41 44 53 5d 3b | 0d 62 79 74 65 20 61 63 |HREADS];|.byte ac|
|00001d80| 74 69 6f 6e 63 6f 75 6e | 74 5b 4e 54 48 52 45 41 |tioncoun|t[NTHREA|
|00001d90| 44 53 5d 3b 0d 3c 3c 69 | 6e 69 74 69 61 6c 69 7a |DS];.<<i|nitializ|
|00001da0| 65 20 64 61 74 61 20 66 | 6f 72 20 74 68 72 65 61 |e data f|or threa|
|00001db0| 64 20 5b 5b 69 64 5d 5d | 3e 3e 3d 0d 74 68 72 65 |d [[id]]|>>=.thre|
|00001dc0| 61 64 63 6f 75 6e 74 5b | 69 64 5d 20 3d 20 30 3b |adcount[|id] = 0;|
|00001dd0| 0d 61 63 74 69 6f 6e 63 | 6f 75 6e 74 5b 69 64 5d |.actionc|ount[id]|
|00001de0| 20 3d 20 30 3b 0d 40 0d | 5c 73 65 6d 69 66 69 6c | = 0;.@.|\semifil|
|00001df0| 62 72 65 61 6b 7b 30 2e | 37 35 69 6e 7d 20 25 20 |break{0.|75in} % |
|00001e00| 70 61 67 65 20 74 75 6e | 69 6e 67 0d 40 0d 48 65 |page tun|ing.@.He|
|00001e10| 72 65 20 69 73 20 74 68 | 65 20 6d 6f 64 65 6c 20 |re is th|e model |
|00001e20| 6f 66 20 61 20 74 68 72 | 65 61 64 2c 20 69 6e 63 |of a thr|ead, inc|
|00001e30| 6c 75 64 69 6e 67 20 74 | 68 65 20 61 73 73 65 72 |luding t|he asser|
|00001e40| 74 69 6f 6e 20 74 68 61 | 74 20 74 68 65 20 74 68 |tion tha|t the th|
|00001e50| 72 65 61 64 0d 61 6e 64 | 20 64 65 62 75 67 67 65 |read.and| debugge|
|00001e60| 72 20 63 6f 75 6e 74 73 | 20 61 72 65 20 74 68 65 |r counts| are the|
|00001e70| 20 73 61 6d 65 3a 0d 3c | 3c 70 72 6f 63 74 79 70 | same:.<|<proctyp|
|00001e80| 65 73 3e 3e 3d 0d 70 72 | 6f 63 74 79 70 65 20 74 |es>>=.pr|octype t|
|00001e90| 68 72 65 61 64 28 74 68 | 72 65 61 64 69 64 20 69 |hread(th|readid i|
|00001ea0| 64 29 20 7b 0d 20 20 64 | 6f 0d 20 20 3a 3a 20 69 |d) {.  d|o.  :: i|
|00001eb0| 66 0d 20 20 20 20 20 3a | 3a 20 70 63 5b 69 64 5d |f.     :|: pc[id]|
|00001ec0| 20 3d 3d 20 42 72 65 61 | 6b 20 2d 3e 20 65 78 65 | == Brea|k -> exe|
|00001ed0| 63 75 74 65 5b 69 64 5d | 21 78 3b 20 63 6f 6e 74 |cute[id]|!x; cont|
|00001ee0| 5b 69 64 5d 3f 78 3b 0d | 20 20 20 20 20 20 20 20 |[id]?x;.|        |
|00001ef0| 20 20 3c 3c 69 66 20 73 | 75 63 63 65 73 73 66 75 |  <<if s|uccessfu|
|00001f00| 6c 6c 79 20 65 78 65 63 | 75 74 65 64 20 5b 5b 42 |lly exec|uted [[B|
|00001f10| 72 65 61 6b 5d 5d 2c 20 | 69 6e 63 72 65 6d 65 6e |reak]], |incremen|
|00001f20| 74 20 5b 5b 74 68 72 65 | 61 64 63 6f 75 6e 74 5b |t [[thre|adcount[|
|00001f30| 69 64 5d 5d 5d 3e 3e 0d | 20 20 20 20 20 3a 3a 20 |id]]]>>.|     :: |
|00001f40| 70 63 5b 69 64 5d 20 21 | 3d 20 42 72 65 61 6b 20 |pc[id] !|= Break |
|00001f50| 2d 3e 20 65 78 65 63 75 | 74 65 5b 69 64 5d 21 78 |-> execu|te[id]!x|
|00001f60| 3b 20 63 6f 6e 74 5b 69 | 64 5d 3f 78 0d 20 20 20 |; cont[i|d]?x.   |
|00001f70| 20 20 66 69 3b 0d 20 20 | 20 20 20 61 73 73 65 72 |  fi;.  |   asser|
|00001f80| 74 28 70 63 5b 69 64 5d | 20 21 3d 20 4f 75 74 73 |t(pc[id]| != Outs|
|00001f90| 69 64 65 20 7c 7c 20 74 | 68 72 65 61 64 63 6f 75 |ide || t|hreadcou|
|00001fa0| 6e 74 5b 69 64 5d 20 3d | 3d 20 61 63 74 69 6f 6e |nt[id] =|= action|
|00001fb0| 63 6f 75 6e 74 5b 69 64 | 5d 29 0d 20 20 6f 64 0d |count[id|]).  od.|
|00001fc0| 7d 0d 40 20 0d 54 68 65 | 20 63 6f 72 72 65 73 70 |}.@ .The| corresp|
|00001fd0| 6f 6e 64 69 6e 67 20 6d | 6f 64 65 6c 20 6f 66 20 |onding m|odel of |
|00001fe0| 74 68 65 20 64 65 62 75 | 67 67 65 72 20 69 73 0d |the debu|gger is.|
|00001ff0| 3c 3c 70 72 6f 63 74 79 | 70 65 73 3e 3e 3d 0d 70 |<<procty|pes>>=.p|
|00002000| 72 6f 63 74 79 70 65 20 | 64 65 62 75 67 67 65 72 |roctype |debugger|
|00002010| 28 29 20 7b 0d 20 20 74 | 68 72 65 61 64 69 64 20 |() {.  t|hreadid |
|00002020| 69 64 3b 0d 20 20 64 6f | 20 0d 20 20 3a 3a 20 61 |id;.  do| .  :: a|
|00002030| 74 6f 6d 69 63 20 7b 20 | 62 72 65 61 6b 61 63 74 |tomic { |breakact|
|00002040| 69 6f 6e 3f 69 64 20 2d | 3e 20 3c 3c 69 6e 63 72 |ion?id -|> <<incr|
|00002050| 65 6d 65 6e 74 20 5b 5b | 61 63 74 69 6f 6e 63 6f |ement [[|actionco|
|00002060| 75 6e 74 5b 69 64 5d 5d | 5d 3e 3e 20 7d 0d 20 20 |unt[id]]|]>> }.  |
|00002070| 6f 64 0d 7d 0d 40 20 5c | 6e 6f 69 6e 64 65 6e 74 |od.}.@ \|noindent|
|00002080| 0d 5b 5b 61 74 6f 6d 69 | 63 5d 5d 20 67 72 6f 75 |.[[atomi|c]] grou|
|00002090| 70 73 20 73 74 61 74 65 | 6d 65 6e 74 73 20 69 6e |ps state|ments in|
|000020a0| 74 6f 20 61 20 73 69 6e | 67 6c 65 20 61 74 6f 6d |to a sin|gle atom|
|000020b0| 69 63 20 61 63 74 69 6f | 6e 2e 0d 57 68 65 6e 20 |ic actio|n..When |
|000020c0| 74 68 65 20 64 65 62 75 | 67 67 65 72 20 74 61 6b |the debu|gger tak|
|000020d0| 65 73 20 61 20 62 72 65 | 61 6b 70 6f 69 6e 74 20 |es a bre|akpoint |
|000020e0| 61 63 74 69 6f 6e 2c 20 | 69 74 20 61 74 6f 6d 69 |action, |it atomi|
|000020f0| 63 61 6c 6c 79 20 69 6e | 63 72 65 6d 65 6e 74 73 |cally in|crements|
|00002100| 20 0d 5b 5b 61 63 74 69 | 6f 6e 63 6f 75 6e 74 5b | .[[acti|oncount[|
|00002110| 69 64 5d 5d 5d 2e 0d 57 | 69 74 68 6f 75 74 20 5b |id]]]..W|ithout [|
|00002120| 5b 61 74 6f 6d 69 63 5d | 5d 2c 20 69 74 20 6d 69 |[atomic]|], it mi|
|00002130| 67 68 74 20 64 65 6c 61 | 79 20 69 6e 63 72 65 6d |ght dela|y increm|
|00002140| 65 6e 74 69 6e 67 20 74 | 68 65 20 63 6f 75 6e 74 |enting t|he count|
|00002150| 65 72 20 61 6e 64 0d 69 | 6e 76 61 6c 69 64 61 74 |er and.i|nvalidat|
|00002160| 65 20 74 68 65 20 61 73 | 73 65 72 74 69 6f 6e 20 |e the as|sertion |
|00002170| 61 62 6f 76 65 2e 0d 0d | 41 20 74 68 72 65 61 64 |above...|A thread|
|00002180| 20 6b 6e 6f 77 73 20 69 | 74 20 68 61 73 20 73 75 | knows i|t has su|
|00002190| 63 63 65 73 73 66 75 6c | 6c 79 20 65 78 65 63 75 |ccessful|ly execu|
|000021a0| 74 65 64 20 5b 5b 42 72 | 65 61 6b 5d 5d 20 69 66 |ted [[Br|eak]] if|
|000021b0| 20 74 68 65 20 5b 5b 70 | 63 5d 5d 0d 68 61 73 20 | the [[p|c]].has |
|000021c0| 63 68 61 6e 67 65 64 3a | 0d 3c 3c 69 66 20 73 75 |changed:|.<<if su|
|000021d0| 63 63 65 73 73 66 75 6c | 6c 79 20 65 78 65 63 75 |ccessful|ly execu|
|000021e0| 74 65 64 20 5b 5b 42 72 | 65 61 6b 5d 5d 2c 20 69 |ted [[Br|eak]], i|
|000021f0| 6e 63 72 65 6d 65 6e 74 | 20 5b 5b 74 68 72 65 61 |ncrement| [[threa|
|00002200| 64 63 6f 75 6e 74 5b 69 | 64 5d 5d 5d 3e 3e 3d 0d |dcount[i|d]]]>>=.|
|00002210| 69 66 0d 3a 3a 20 70 63 | 5b 69 64 5d 20 21 3d 20 |if.:: pc|[id] != |
|00002220| 42 72 65 61 6b 20 2d 3e | 20 3c 3c 69 6e 63 72 65 |Break ->| <<incre|
|00002230| 6d 65 6e 74 20 5b 5b 74 | 68 72 65 61 64 63 6f 75 |ment [[t|hreadcou|
|00002240| 6e 74 5b 69 64 5d 5d 5d | 3e 3e 0d 3a 3a 20 70 63 |nt[id]]]|>>.:: pc|
|00002250| 5b 69 64 5d 20 3d 3d 20 | 42 72 65 61 6b 20 2d 3e |[id] == |Break ->|
|00002260| 20 73 6b 69 70 0d 66 69 | 0d 40 0d 20 54 6f 20 6b | skip.fi|.@. To k|
|00002270| 65 65 70 20 74 68 65 20 | 73 74 61 74 65 20 73 70 |eep the |state sp|
|00002280| 61 63 65 20 73 6d 61 6c | 6c 2c 20 49 20 72 65 73 |ace smal|l, I res|
|00002290| 74 72 69 63 74 20 74 68 | 65 20 76 61 6c 75 65 73 |trict th|e values|
|000022a0| 20 6f 66 20 74 68 65 0d | 63 6f 75 6e 74 65 72 73 | of the.|counters|
|000022b0| 20 74 6f 20 62 65 20 69 | 6e 20 74 68 65 20 72 61 | to be i|n the ra|
|000022c0| 6e 67 65 20 5b 5b 30 2e | 2e 33 5d 5d 2e 0d 3c 3c |nge [[0.|.3]]..<<|
|000022d0| 69 6e 63 72 65 6d 65 6e | 74 20 5b 5b 74 68 72 65 |incremen|t [[thre|
|000022e0| 61 64 63 6f 75 6e 74 5b | 69 64 5d 5d 5d 3e 3e 3d |adcount[|id]]]>>=|
|000022f0| 0d 74 68 72 65 61 64 63 | 6f 75 6e 74 5b 69 64 5d |.threadc|ount[id]|
|00002300| 20 3d 20 28 74 68 72 65 | 61 64 63 6f 75 6e 74 5b | = (thre|adcount[|
|00002310| 69 64 5d 20 2b 20 31 29 | 20 25 20 34 0d 3c 3c 69 |id] + 1)| % 4.<<i|
|00002320| 6e 63 72 65 6d 65 6e 74 | 20 5b 5b 61 63 74 69 6f |ncrement| [[actio|
|00002330| 6e 63 6f 75 6e 74 5b 69 | 64 5d 5d 5d 3e 3e 3d 0d |ncount[i|d]]]>>=.|
|00002340| 61 63 74 69 6f 6e 63 6f | 75 6e 74 5b 69 64 5d 20 |actionco|unt[id] |
|00002350| 3d 20 28 61 63 74 69 6f | 6e 63 6f 75 6e 74 5b 69 |= (actio|ncount[i|
|00002360| 64 5d 20 2b 20 31 29 20 | 25 20 34 0d 40 0d 5c 73 |d] + 1) |% 4.@.\s|
|00002370| 65 63 74 69 6f 6e 7b 49 | 6d 70 6c 65 6d 65 6e 74 |ection{I|mplement|
|00002380| 69 6e 67 20 74 68 65 20 | 62 72 65 61 6b 70 6f 69 |ing the |breakpoi|
|00002390| 6e 74 7d 0d 54 68 65 72 | 65 20 69 73 20 61 20 6c |nt}.Ther|e is a l|
|000023a0| 6f 6e 67 20 74 72 61 64 | 69 74 69 6f 6e 20 6f 66 |ong trad|ition of|
|000023b0| 20 69 6d 70 6c 65 6d 65 | 6e 74 69 6e 67 20 62 72 | impleme|nting br|
|000023c0| 65 61 6b 70 6f 69 6e 74 | 73 20 75 73 69 6e 67 20 |eakpoint|s using |
|000023d0| 74 72 61 70 73 0d 61 6e | 64 20 73 69 6e 67 6c 65 |traps.an|d single|
|000023e0| 20 73 74 65 70 70 69 6e | 67 2e 20 20 54 6f 20 73 | steppin|g.  To s|
|000023f0| 65 74 20 61 20 62 72 65 | 61 6b 70 6f 69 6e 74 20 |et a bre|akpoint |
|00002400| 61 74 20 24 49 24 2c 20 | 70 6c 61 6e 74 20 61 20 |at $I$, |plant a |
|00002410| 74 72 61 70 0d 61 74 20 | 24 49 24 2e 20 20 57 68 |trap.at |$I$.  Wh|
|00002420| 65 6e 20 74 68 65 20 74 | 61 72 67 65 74 20 70 72 |en the t|arget pr|
|00002430| 6f 67 72 61 6d 20 68 69 | 74 73 20 74 68 65 20 74 |ogram hi|ts the t|
|00002440| 72 61 70 2c 20 74 68 61 | 74 27 73 20 61 20 62 72 |rap, tha|t's a br|
|00002450| 65 61 6b 70 6f 69 6e 74 | 0d 65 76 65 6e 74 2e 0d |eakpoint|.event..|
|00002460| 54 6f 20 72 65 73 75 6d | 65 20 65 78 65 63 75 74 |To resum|e execut|
|00002470| 69 6f 6e 20 61 66 74 65 | 72 20 74 68 65 20 62 72 |ion afte|r the br|
|00002480| 65 61 6b 70 6f 69 6e 74 | 2c 20 0d 20 72 65 73 74 |eakpoint|, . rest|
|00002490| 6f 72 65 20 74 68 65 20 | 6f 72 69 67 69 6e 61 6c |ore the |original|
|000024a0| 20 69 6e 73 74 72 75 63 | 74 69 6f 6e 20 74 6f 20 | instruc|tion to |
|000024b0| 24 49 24 2c 0d 20 73 69 | 6e 67 6c 65 20 73 74 65 |$I$,. si|ngle ste|
|000024c0| 70 20 74 68 65 20 6d 61 | 63 68 69 6e 65 20 74 6f |p the ma|chine to|
|000024d0| 20 65 78 65 63 75 74 65 | 20 6a 75 73 74 20 74 68 | execute| just th|
|000024e0| 65 20 69 6e 73 74 72 75 | 63 74 69 6f 6e 20 61 74 |e instru|ction at|
|000024f0| 20 24 49 24 2c 0d 61 6e | 64 20 6f 6e 63 65 20 61 | $I$,.an|d once a|
|00002500| 67 61 69 6e 20 70 6c 61 | 6e 74 20 61 20 74 72 61 |gain pla|nt a tra|
|00002510| 70 20 61 74 20 24 49 24 | 20 61 6e 64 20 63 6f 6e |p at $I$| and con|
|00002520| 74 69 6e 75 65 20 65 78 | 65 63 75 74 69 6f 6e 2e |tinue ex|ecution.|
|00002530| 0d 4e 6f 74 20 61 6c 6c | 20 6d 61 63 68 69 6e 65 |.Not all| machine|
|00002540| 73 20 68 61 76 65 20 61 | 20 73 69 6e 67 6c 65 2d |s have a| single-|
|00002550| 73 74 65 70 20 6d 6f 64 | 65 20 69 6e 20 68 61 72 |step mod|e in har|
|00002560| 64 77 61 72 65 2c 20 62 | 75 74 0d 73 69 6e 67 6c |dware, b|ut.singl|
|00002570| 65 20 73 74 65 70 70 69 | 6e 67 20 63 61 6e 20 62 |e steppi|ng can b|
|00002580| 65 20 73 69 6d 75 6c 61 | 74 65 64 20 69 6e 20 73 |e simula|ted in s|
|00002590| 6f 66 74 77 61 72 65 20 | 62 79 20 75 73 69 6e 67 |oftware |by using|
|000025a0| 20 6d 6f 72 65 20 74 72 | 61 70 0d 69 6e 73 74 72 | more tr|ap.instr|
|000025b0| 75 63 74 69 6f 6e 73 2e | 20 0d 49 6e 20 6d 79 20 |uctions.| .In my |
|000025c0| 6d 6f 64 65 6c 2c 20 49 | 20 65 6c 69 6d 69 6e 61 |model, I| elimina|
|000025d0| 74 65 20 73 69 6e 67 6c | 65 20 73 74 65 70 70 69 |te singl|e steppi|
|000025e0| 6e 67 20 65 6e 74 69 72 | 65 6c 79 2c 20 77 6f 72 |ng entir|ely, wor|
|000025f0| 6b 69 6e 67 20 64 69 72 | 65 63 74 6c 79 0d 77 69 |king dir|ectly.wi|
|00002600| 74 68 20 74 72 61 70 20 | 69 6e 73 74 72 75 63 74 |th trap |instruct|
|00002610| 69 6f 6e 73 20 61 6e 64 | 20 20 61 20 66 6f 6c 6c |ions and|  a foll|
|00002620| 6f 77 20 73 65 74 0d 28 | 6d 6f 64 65 6c 65 64 20 |ow set.(|modeled |
|00002630| 62 79 20 5b 5b 46 6f 6c | 6c 6f 77 5d 5d 29 2e 0d |by [[Fol|low]])..|
|00002640| 0d 54 68 65 20 73 69 6d | 70 6c 65 72 20 6d 6f 64 |.The sim|pler mod|
|00002650| 65 6c 20 64 6f 65 73 20 | 6e 6f 74 20 70 72 65 63 |el does |not prec|
|00002660| 6c 75 64 65 20 74 68 65 | 20 75 73 65 20 6f 66 20 |lude the| use of |
|00002670| 68 61 72 64 77 61 72 65 | 20 73 69 6e 67 6c 65 20 |hardware| single |
|00002680| 73 74 65 70 70 69 6e 67 | 2e 0d 4f 6e 65 20 6f 66 |stepping|..One of|
|00002690| 20 74 68 65 20 6f 70 65 | 72 61 74 69 6f 6e 73 20 | the ope|rations |
|000026a0| 69 6e 20 74 68 65 20 6d | 6f 64 65 6c 20 69 73 20 |in the m|odel is |
|000026b0| 70 6c 61 6e 74 69 6e 67 | 20 74 72 61 70 73 20 61 |planting| traps a|
|000026c0| 74 20 74 68 65 20 6c 6f | 63 61 74 69 6f 6e 73 0d |t the lo|cations.|
|000026d0| 69 6e 20 74 68 65 20 66 | 6f 6c 6c 6f 77 20 73 65 |in the f|ollow se|
|000026e0| 74 20 6f 66 20 61 6e 20 | 69 6e 73 74 72 75 63 74 |t of an |instruct|
|000026f0| 69 6f 6e 2e 0d 54 68 69 | 73 20 6f 70 65 72 61 74 |ion..Thi|s operat|
|00002700| 69 6f 6e 20 63 61 6e 20 | 62 65 20 69 6d 70 6c 65 |ion can |be imple|
|00002710| 6d 65 6e 74 65 64 20 65 | 69 74 68 65 72 20 62 79 |mented e|ither by|
|00002720| 20 63 6f 6d 70 75 74 69 | 6e 67 20 74 68 65 20 66 | computi|ng the f|
|00002730| 6f 6c 6c 6f 77 20 73 65 | 74 0d 61 6e 64 20 70 6c |ollow se|t.and pl|
|00002740| 61 6e 74 69 6e 67 20 61 | 63 74 75 61 6c 20 74 72 |anting a|ctual tr|
|00002750| 61 70 73 2c 20 6f 72 20 | 62 79 20 73 65 74 74 69 |aps, or |by setti|
|00002760| 6e 67 20 61 20 74 72 61 | 63 65 20 62 69 74 20 6f |ng a tra|ce bit o|
|00002770| 6e 20 61 20 6d 61 63 68 | 69 6e 65 20 77 69 74 68 |n a mach|ine with|
|00002780| 0d 68 61 72 64 77 61 72 | 65 20 73 69 6e 67 6c 65 |.hardwar|e single|
|00002790| 20 73 74 65 70 70 69 6e | 67 2e 0d 0d 5c 73 65 6d | steppin|g...\sem|
|000027a0| 69 66 69 6c 62 72 65 61 | 6b 7b 33 5c 62 61 73 65 |ifilbrea|k{3\base|
|000027b0| 6c 69 6e 65 73 6b 69 70 | 7d 0d 0d 41 6e 20 61 63 |lineskip|}..An ac|
|000027c0| 74 69 76 65 20 62 72 65 | 61 6b 70 6f 69 6e 74 20 |tive bre|akpoint |
|000027d0| 69 73 20 74 72 61 70 70 | 65 64 20 65 69 74 68 65 |is trapp|ed eithe|
|000027e0| 72 20 6f 6e 20 74 68 65 | 20 69 6e 73 74 72 75 63 |r on the| instruc|
|000027f0| 74 69 6f 6e 20 6f 66 20 | 74 68 65 0d 62 72 65 61 |tion of |the.brea|
|00002800| 6b 70 6f 69 6e 74 20 69 | 74 73 65 6c 66 20 6f 72 |kpoint i|tself or|
|00002810| 20 6f 6e 20 74 68 61 74 | 20 69 6e 73 74 72 75 63 | on that| instruc|
|00002820| 74 69 6f 6e 27 73 20 66 | 6f 6c 6c 6f 77 20 73 65 |tion's f|ollow se|
|00002830| 74 2e 0d 54 68 65 20 62 | 72 65 61 6b 70 6f 69 6e |t..The b|reakpoin|
|00002840| 74 20 6b 65 65 70 73 20 | 74 72 61 63 6b 20 6f 66 |t keeps |track of|
|00002850| 20 77 68 69 63 68 20 73 | 74 61 74 65 20 69 74 20 | which s|tate it |
|00002860| 69 73 20 69 6e 2c 20 77 | 69 74 68 20 74 68 65 20 |is in, w|ith the |
|00002870| 66 6f 6c 6c 6f 77 69 6e | 67 20 0d 69 6e 76 61 72 |followin|g .invar|
|00002880| 69 61 6e 74 2e 0d 5c 62 | 65 67 69 6e 7b 76 65 72 |iant..\b|egin{ver|
|00002890| 62 61 74 69 6d 7d 0d 20 | 20 20 62 72 65 61 6b 73 |batim}. |  breaks|
|000028a0| 74 61 74 65 20 3d 3d 20 | 42 72 65 61 6b 20 20 26 |tate == |Break  &|
|000028b0| 26 20 74 72 61 70 70 65 | 64 5b 42 72 65 61 6b 5d |& trappe|d[Break]|
|000028c0| 20 3d 20 31 20 26 26 20 | 74 72 61 70 70 65 64 5b | = 1 && |trapped[|
|000028d0| 46 6f 6c 6c 6f 77 5d 20 | 3d 20 30 0d 7c 7c 20 62 |Follow] |= 0.|| b|
|000028e0| 72 65 61 6b 73 74 61 74 | 65 20 3d 3d 20 46 6f 6c |reakstat|e == Fol|
|000028f0| 6c 6f 77 20 26 26 20 74 | 72 61 70 70 65 64 5b 42 |low && t|rapped[B|
|00002900| 72 65 61 6b 5d 20 3d 20 | 30 20 26 26 20 74 72 61 |reak] = |0 && tra|
|00002910| 70 70 65 64 5b 46 6f 6c | 6c 6f 77 5d 20 3d 20 31 |pped[Fol|low] = 1|
|00002920| 0d 5c 65 6e 64 7b 76 65 | 72 62 61 74 69 6d 7d 0d |.\end{ve|rbatim}.|
|00002930| 3c 3c 64 65 63 6c 61 72 | 61 74 69 6f 6e 73 3e 3e |<<declar|ations>>|
|00002940| 3d 0d 62 79 74 65 20 62 | 72 65 61 6b 73 74 61 74 |=.byte b|reakstat|
|00002950| 65 20 3d 20 42 72 65 61 | 6b 3b 0d 3c 3c 69 6e 69 |e = Brea|k;.<<ini|
|00002960| 74 69 61 6c 69 7a 61 74 | 69 6f 6e 3e 3e 3d 0d 74 |tializat|ion>>=.t|
|00002970| 72 61 70 70 65 64 5b 42 | 72 65 61 6b 5d 20 3d 20 |rapped[B|reak] = |
|00002980| 31 3b 0d 40 20 43 68 61 | 6e 67 69 6e 67 20 74 68 |1;.@ Cha|nging th|
|00002990| 65 20 73 74 61 74 65 20 | 70 72 65 73 65 72 76 65 |e state |preserve|
|000029a0| 73 20 74 68 65 20 69 6e | 76 61 72 69 61 6e 74 2e |s the in|variant.|
|000029b0| 5c 6c 61 62 65 6c 7b 6d | 6f 76 65 2d 74 72 61 70 |\label{m|ove-trap|
|000029c0| 73 2d 70 61 67 65 7d 0d | 3c 3c 6d 6f 76 65 20 74 |s-page}.|<<move t|
|000029d0| 72 61 70 73 20 74 6f 20 | 5b 5b 42 72 65 61 6b 5d |raps to |[[Break]|
|000029e0| 5d 3e 3e 3d 0d 61 74 6f | 6d 69 63 20 7b 20 62 72 |]>>=.ato|mic { br|
|000029f0| 65 61 6b 73 74 61 74 65 | 20 3d 20 42 72 65 61 6b |eakstate| = Break|
|00002a00| 3b 20 20 74 72 61 70 70 | 65 64 5b 42 72 65 61 6b |;  trapp|ed[Break|
|00002a10| 5d 20 3d 20 31 3b 20 74 | 72 61 70 70 65 64 5b 46 |] = 1; t|rapped[F|
|00002a20| 6f 6c 6c 6f 77 5d 20 3d | 20 30 20 7d 0d 3c 3c 6d |ollow] =| 0 }.<<m|
|00002a30| 6f 76 65 20 74 72 61 70 | 73 20 74 6f 20 5b 5b 46 |ove trap|s to [[F|
|00002a40| 6f 6c 6c 6f 77 5d 5d 3e | 3e 3d 0d 61 74 6f 6d 69 |ollow]]>|>=.atomi|
|00002a50| 63 20 7b 20 62 72 65 61 | 6b 73 74 61 74 65 20 3d |c { brea|kstate =|
|00002a60| 20 46 6f 6c 6c 6f 77 3b | 20 74 72 61 70 70 65 64 | Follow;| trapped|
|00002a70| 5b 42 72 65 61 6b 5d 20 | 3d 20 30 3b 20 74 72 61 |[Break] |= 0; tra|
|00002a80| 70 70 65 64 5b 46 6f 6c | 6c 6f 77 5d 20 3d 20 31 |pped[Fol|low] = 1|
|00002a90| 20 7d 0d 40 0d 0d 49 74 | 27 73 20 6e 65 63 65 73 | }.@..It|'s neces|
|00002aa0| 73 61 72 79 20 74 6f 20 | 6b 65 65 70 20 74 72 61 |sary to |keep tra|
|00002ab0| 63 6b 20 6f 66 20 74 68 | 65 20 73 74 61 74 65 20 |ck of th|e state |
|00002ac0| 6f 66 20 65 61 63 68 20 | 74 68 72 65 61 64 20 77 |of each |thread w|
|00002ad0| 69 74 68 20 72 65 73 70 | 65 63 74 0d 74 6f 20 74 |ith resp|ect.to t|
|00002ae0| 68 65 20 62 72 65 61 6b | 70 6f 69 6e 74 2e 20 20 |he break|point.  |
|00002af0| 41 20 74 68 72 65 61 64 | 20 69 73 20 60 60 69 6e |A thread| is ``in|
|00002b00| 20 74 68 65 20 62 72 65 | 61 6b 70 6f 69 6e 74 27 | the bre|akpoint'|
|00002b10| 27 20 69 66 20 69 74 20 | 68 61 73 0d 74 72 61 70 |' if it |has.trap|
|00002b20| 70 65 64 20 61 74 20 5b | 5b 42 72 65 61 6b 5d 5d |ped at [|[Break]]|
|00002b30| 2c 20 61 6e 64 20 69 74 | 20 64 6f 65 73 20 6e 6f |, and it| does no|
|00002b40| 74 20 60 60 6c 65 61 76 | 65 20 74 68 65 20 62 72 |t ``leav|e the br|
|00002b50| 65 61 6b 70 6f 69 6e 74 | 27 27 20 75 6e 74 69 6c |eakpoint|'' until|
|00002b60| 0d 69 74 20 74 72 61 70 | 73 20 61 74 20 5b 5b 46 |.it trap|s at [[F|
|00002b70| 6f 6c 6c 6f 77 5d 5d 2e | 20 20 54 68 72 65 61 64 |ollow]].|  Thread|
|00002b80| 73 20 61 72 65 20 69 6e | 69 74 69 61 6c 6c 79 20 |s are in|itially |
|00002b90| 6f 75 74 73 69 64 65 20 | 74 68 65 20 62 72 65 61 |outside |the brea|
|00002ba0| 6b 70 6f 69 6e 74 2e 0d | 3c 3c 64 65 63 6c 61 72 |kpoint..|<<declar|
|00002bb0| 61 74 69 6f 6e 73 3e 3e | 3d 0d 62 69 74 20 20 69 |ations>>|=.bit  i|
|00002bc0| 6e 62 72 65 61 6b 5b 4e | 54 48 52 45 41 44 53 5d |nbreak[N|THREADS]|
|00002bd0| 3b 0d 3c 3c 69 6e 69 74 | 69 61 6c 69 7a 65 20 64 |;.<<init|ialize d|
|00002be0| 61 74 61 20 66 6f 72 20 | 74 68 72 65 61 64 20 5b |ata for |thread [|
|00002bf0| 5b 69 64 5d 5d 3e 3e 3d | 0d 69 6e 62 72 65 61 6b |[id]]>>=|.inbreak|
|00002c00| 5b 69 64 5d 20 3d 20 30 | 3b 0d 40 0d 5c 73 65 6d |[id] = 0|;.@.\sem|
|00002c10| 69 66 69 6c 62 72 65 61 | 6b 7b 32 69 6e 7d 20 25 |ifilbrea|k{2in} %|
|00002c20| 20 70 61 67 65 20 74 75 | 6e 69 6e 67 0d 40 0d 4f | page tu|ning.@.O|
|00002c30| 6e 65 20 70 6f 73 73 69 | 62 6c 65 20 69 6d 70 6c |ne possi|ble impl|
|00002c40| 65 6d 65 6e 74 61 74 69 | 6f 6e 20 6a 75 73 74 20 |ementati|on just |
|00002c50| 6b 65 65 70 73 20 74 72 | 61 63 6b 20 6f 66 20 74 |keeps tr|ack of t|
|00002c60| 68 65 20 76 61 72 69 6f | 75 73 20 73 74 61 74 65 |he vario|us state|
|00002c70| 73 20 61 6e 64 0d 64 65 | 6c 69 76 65 72 73 20 61 |s and.de|livers a|
|00002c80| 20 62 72 65 61 6b 70 6f | 69 6e 74 20 65 76 65 6e | breakpo|int even|
|00002c90| 74 20 61 74 20 74 68 65 | 20 72 69 67 68 74 20 74 |t at the| right t|
|00002ca0| 69 6d 65 3a 0d 3c 3c 63 | 61 6e 64 69 64 61 74 65 |ime:.<<c|andidate|
|00002cb0| 20 62 72 65 61 6b 70 6f | 69 6e 74 20 69 6d 70 6c | breakpo|int impl|
|00002cc0| 65 6d 65 6e 74 61 74 69 | 6f 6e 3e 3e 3d 0d 70 72 |ementati|on>>=.pr|
|00002cd0| 6f 63 74 79 70 65 20 62 | 72 65 61 6b 70 6f 69 6e |octype b|reakpoin|
|00002ce0| 74 28 29 20 7b 0d 20 20 | 74 68 72 65 61 64 69 64 |t() {.  |threadid|
|00002cf0| 20 69 64 3b 0d 0d 20 20 | 64 6f 0d 20 20 3a 3a 20 | id;..  |do.  :: |
|00002d00| 74 72 61 70 3f 69 64 20 | 2d 3e 0d 20 20 20 20 20 |trap?id |->.     |
|00002d10| 20 20 69 66 0d 20 20 20 | 20 20 20 20 3a 3a 20 62 |  if.   |    :: b|
|00002d20| 72 65 61 6b 73 74 61 74 | 65 20 3d 3d 20 42 72 65 |reakstat|e == Bre|
|00002d30| 61 6b 20 2d 3e 0d 20 20 | 20 20 20 20 20 20 20 20 |ak ->.  |        |
|00002d40| 20 20 69 66 20 0d 20 20 | 20 20 20 20 20 20 20 20 |  if .  |        |
|00002d50| 20 20 3a 3a 20 21 69 6e | 62 72 65 61 6b 5b 69 64 |  :: !in|break[id|
|00002d60| 5d 20 2d 3e 20 62 72 65 | 61 6b 61 63 74 69 6f 6e |] -> bre|akaction|
|00002d70| 21 69 64 20 3b 20 69 6e | 62 72 65 61 6b 5b 69 64 |!id ; in|break[id|
|00002d80| 5d 20 3d 20 31 0d 20 20 | 20 20 20 20 20 20 20 20 |] = 1.  |        |
|00002d90| 20 20 3a 3a 20 20 69 6e | 62 72 65 61 6b 5b 69 64 |  ::  in|break[id|
|00002da0| 5d 20 2d 3e 20 73 6b 69 | 70 20 2f 2a 20 6e 6f 20 |] -> ski|p /* no |
|00002db0| 65 76 65 6e 74 20 2a 2f | 0d 20 20 20 20 20 20 20 |event */|.       |
|00002dc0| 20 20 20 20 20 66 69 3b | 0d 20 20 20 20 20 20 20 |     fi;|.       |
|00002dd0| 20 20 20 20 20 3c 3c 6d | 6f 76 65 20 74 72 61 70 |     <<m|ove trap|
|00002de0| 73 20 74 6f 20 5b 5b 46 | 6f 6c 6c 6f 77 5d 5d 3e |s to [[F|ollow]]>|
|00002df0| 3e 0d 20 20 20 20 20 20 | 20 3a 3a 20 62 72 65 61 |>.      | :: brea|
|00002e00| 6b 73 74 61 74 65 20 3d | 3d 20 46 6f 6c 6c 6f 77 |kstate =|= Follow|
|00002e10| 20 2d 3e 0d 20 20 20 20 | 20 20 20 20 20 20 20 20 | ->.    |        |
|00002e20| 69 66 20 0d 20 20 20 20 | 20 20 20 20 20 20 20 20 |if .    |        |
|00002e30| 3a 3a 20 20 69 6e 62 72 | 65 61 6b 5b 69 64 5d 20 |::  inbr|eak[id] |
|00002e40| 2d 3e 20 69 6e 62 72 65 | 61 6b 5b 69 64 5d 20 3d |-> inbre|ak[id] =|
|00002e50| 20 30 0d 20 20 20 20 20 | 20 20 20 20 20 20 20 3a | 0.     |       :|
|00002e60| 3a 20 21 69 6e 62 72 65 | 61 6b 5b 69 64 5d 20 2d |: !inbre|ak[id] -|
|00002e70| 3e 20 73 6b 69 70 0d 20 | 20 20 20 20 20 20 20 20 |> skip. |        |
|00002e80| 20 20 20 66 69 3b 0d 20 | 20 20 20 20 20 20 20 20 |   fi;. |        |
|00002e90| 20 20 20 3c 3c 6d 6f 76 | 65 20 74 72 61 70 73 20 |   <<mov|e traps |
|00002ea0| 74 6f 20 5b 5b 42 72 65 | 61 6b 5d 5d 3e 3e 0d 20 |to [[Bre|ak]]>>. |
|00002eb0| 20 20 20 20 20 20 66 69 | 3b 20 20 0d 20 20 20 20 |      fi|;  .    |
|00002ec0| 20 20 20 72 65 73 75 6d | 65 21 78 0d 20 20 6f 64 |   resum|e!x.  od|
|00002ed0| 0d 7d 0d 40 20 0d 54 68 | 69 73 20 69 6d 70 6c 65 |.}.@ .Th|is imple|
|00002ee0| 6d 65 6e 74 61 74 69 6f | 6e 20 77 6f 72 6b 73 20 |mentatio|n works |
|00002ef0| 66 69 6e 65 20 66 6f 72 | 20 61 20 73 69 6e 67 6c |fine for| a singl|
|00002f00| 65 20 74 68 72 65 61 64 | 2e 0d 57 69 74 68 20 74 |e thread|..With t|
|00002f10| 77 6f 20 74 68 72 65 61 | 64 73 2c 20 74 68 65 20 |wo threa|ds, the |
|00002f20| 50 52 4f 4d 45 4c 41 20 | 73 74 61 74 65 2d 73 70 |PROMELA |state-sp|
|00002f30| 61 63 65 20 73 65 61 72 | 63 68 20 66 69 6e 64 73 |ace sear|ch finds|
|00002f40| 20 74 68 65 0d 66 6f 6c | 6c 6f 77 69 6e 67 20 65 | the.fol|lowing e|
|00002f50| 72 72 6f 6e 65 6f 75 73 | 20 65 78 65 63 75 74 69 |rroneous| executi|
|00002f60| 6f 6e 20 73 65 71 75 65 | 6e 63 65 0d 28 61 74 74 |on seque|nce.(att|
|00002f70| 65 6d 70 74 65 64 20 65 | 78 65 63 75 74 69 6f 6e |empted e|xecution|
|00002f80| 73 20 74 68 61 74 20 74 | 72 61 70 20 61 72 65 20 |s that t|rap are |
|00002f90| 6d 61 72 6b 65 64 20 77 | 69 74 68 20 61 20 7b 2a |marked w|ith a {*|
|00002fa0| 7d 29 3a 0d 5c 62 65 67 | 69 6e 7b 71 75 6f 74 65 |}):.\beg|in{quote|
|00002fb0| 7d 5c 73 69 6e 67 6c 65 | 0d 5c 62 65 67 69 6e 7b |}\single|.\begin{|
|00002fc0| 74 61 62 75 6c 61 72 7d | 7b 6c 6c 63 63 7d 0d 62 |tabular}|{llcc}.b|
|00002fd0| 72 65 61 6b 70 6f 69 6e | 74 20 28 64 65 62 75 67 |reakpoin|t (debug|
|00002fe0| 67 65 72 29 26 20 43 50 | 55 20 20 20 20 20 20 20 |ger)& CP|U       |
|00002ff0| 26 20 74 68 72 65 61 64 | 20 30 20 20 20 20 20 26 |& thread| 0     &|
|00003000| 20 20 20 74 68 72 65 61 | 64 20 31 5c 5c 0d 26 20 |   threa|d 1\\.& |
|00003010| 20 20 20 20 20 20 26 20 | 20 20 5b 5b 4f 75 74 73 |      & |  [[Outs|
|00003020| 69 64 65 5d 5d 5c 5c 0d | 26 20 20 20 20 20 20 20 |ide]]\\.|&       |
|00003030| 26 20 20 20 5b 5b 42 72 | 65 61 6b 5d 5d 5c 72 6c |&   [[Br|eak]]\rl|
|00003040| 61 70 7b 2a 7d 5c 5c 0d | 25 5c 6d 75 6c 74 69 63 |ap{*}\\.|%\multic|
|00003050| 6f 6c 75 6d 6e 7b 33 7d | 7b 6c 7d 0d 7b 5c 4c 41 |olumn{3}|{l}.{\LA|
|00003060| 7b 7d 74 61 6b 65 20 62 | 72 65 61 6b 70 6f 69 6e |{}take b|reakpoin|
|00003070| 74 20 61 63 74 69 6f 6e | 5c 52 41 7b 7d 7d 5c 5c |t action|\RA{}}\\|
|00003080| 0d 7b 5c 4c 41 7b 7d 6d | 6f 76 65 20 74 72 61 70 |.{\LA{}m|ove trap|
|00003090| 73 20 74 6f 20 5b 5b 46 | 6f 6c 6c 6f 77 5d 5d 7e |s to [[F|ollow]]~|
|000030a0| 5c 66 6f 6f 74 6e 6f 74 | 65 73 69 7a 65 5c 70 61 |\footnot|esize\pa|
|000030b0| 67 65 72 65 66 7b 6d 6f | 76 65 2d 74 72 61 70 73 |geref{mo|ve-traps|
|000030c0| 2d 70 61 67 65 7d 5c 52 | 41 7b 7d 7d 5c 5c 0d 72 |-page}\R|A{}}\\.r|
|000030d0| 65 73 75 6d 65 5c 5c 0d | 26 63 6f 6e 74 65 78 74 |esume\\.|&context|
|000030e0| 20 73 77 69 74 63 68 5c | 5c 0d 20 20 20 20 20 20 | switch\|\.      |
|000030f0| 20 20 26 26 26 20 20 20 | 20 20 20 20 20 20 20 20 |  &&&   |        |
|00003100| 20 20 20 20 20 20 20 5b | 5b 4f 75 74 73 69 64 65 |       [|[Outside|
|00003110| 5d 5d 5c 5c 0d 20 20 20 | 20 20 20 20 20 26 26 26 |]]\\.   |     &&&|
|00003120| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00003130| 20 20 5b 5b 42 72 65 61 | 6b 5d 5d 5c 5c 0d 20 20 |  [[Brea|k]]\\.  |
|00003140| 20 20 20 20 20 20 26 26 | 26 20 5b 5b 46 6f 6c 6c |      &&|& [[Foll|
|00003150| 6f 77 5d 5d 5c 72 6c 61 | 70 7b 2a 7d 5c 5c 0d 25 |ow]]\rla|p{*}\\.%|
|00003160| 5c 6d 75 6c 74 69 63 6f | 6c 75 6d 6e 7b 33 7d 7b |\multico|lumn{3}{|
|00003170| 6c 7d 0d 7b 5c 4c 41 7b | 7d 74 61 6b 65 20 6e 6f |l}.{\LA{|}take no|
|00003180| 20 61 63 74 69 6f 6e 5c | 52 41 7b 7d 7d 5c 5c 0d | action\|RA{}}\\.|
|00003190| 7b 5c 4c 41 7b 7d 6d 6f | 76 65 20 74 72 61 70 73 |{\LA{}mo|ve traps|
|000031a0| 20 74 6f 20 5b 5b 42 72 | 65 61 6b 5d 5d 7e 5c 66 | to [[Br|eak]]~\f|
|000031b0| 6f 6f 74 6e 6f 74 65 73 | 69 7a 65 5c 70 61 67 65 |ootnotes|ize\page|
|000031c0| 72 65 66 7b 6d 6f 76 65 | 2d 74 72 61 70 73 2d 70 |ref{move|-traps-p|
|000031d0| 61 67 65 7d 5c 52 41 7b | 7d 7d 5c 5c 0d 72 65 73 |age}\RA{|}}\\.res|
|000031e0| 75 6d 65 5c 5c 0d 20 20 | 20 20 20 20 20 20 20 20 |ume\\.  |        |
|000031f0| 20 26 26 26 20 20 20 20 | 20 20 20 20 20 20 20 20 | &&&    |        |
|00003200| 20 20 5b 5b 4f 75 74 73 | 69 64 65 5d 5d 5c 5c 0d |  [[Outs|ide]]\\.|
|00003210| 26 63 6f 6e 74 65 78 74 | 20 73 77 69 74 63 68 5c |&context| switch\|
|00003220| 5c 0d 20 20 20 20 20 20 | 20 20 20 26 26 20 5b 5b |\.      |   && [[|
|00003230| 46 6f 6c 6c 6f 77 5d 5d | 5c 5c 0d 20 20 20 20 20 |Follow]]|\\.     |
|00003240| 20 20 20 20 26 26 20 5b | 5b 4f 75 74 73 69 64 65 |    && [|[Outside|
|00003250| 5d 5d 5c 5c 0d 5c 65 6e | 64 7b 74 61 62 75 6c 61 |]]\\.\en|d{tabula|
|00003260| 72 7d 20 0d 5c 65 6e 64 | 7b 71 75 6f 74 65 7d 20 |r} .\end|{quote} |
|00003270| 0d 49 6e 20 74 68 69 73 | 20 65 78 65 63 75 74 69 |.In this| executi|
|00003280| 6f 6e 20 73 65 71 75 65 | 6e 63 65 2c 20 74 68 72 |on seque|nce, thr|
|00003290| 65 61 64 7e 31 20 67 6f | 65 73 20 74 68 72 6f 75 |ead~1 go|es throu|
|000032a0| 67 68 20 74 68 65 20 62 | 72 65 61 6b 70 6f 69 6e |gh the b|reakpoin|
|000032b0| 74 0d 77 69 74 68 6f 75 | 74 20 74 72 69 67 67 65 |t.withou|t trigge|
|000032c0| 72 69 6e 67 20 61 20 62 | 72 65 61 6b 70 6f 69 6e |ring a b|reakpoin|
|000032d0| 74 20 61 63 74 69 6f 6e | 2e 20 0d 49 6e 20 61 6e |t action|. .In an|
|000032e0| 20 65 61 72 6c 69 65 72 | 20 76 65 72 73 69 6f 6e | earlier| version|
|000032f0| 20 6f 66 20 7b 5c 74 74 | 20 6c 64 62 7d 2c 20 74 | of {\tt| ldb}, t|
|00003300| 68 69 73 20 73 65 71 75 | 65 6e 63 65 20 63 6f 75 |his sequ|ence cou|
|00003310| 6c 64 20 62 65 20 70 72 | 6f 76 6f 6b 65 64 20 62 |ld be pr|ovoked b|
|00003320| 79 0d 65 78 65 63 75 74 | 69 6e 67 20 61 20 70 72 |y.execut|ing a pr|
|00003330| 6f 63 65 64 75 72 65 20 | 63 61 6c 6c 20 61 66 74 |ocedure |call aft|
|00003340| 65 72 20 74 68 65 20 75 | 73 65 72 27 73 20 70 72 |er the u|ser's pr|
|00003350| 6f 67 72 61 6d 20 68 69 | 74 20 61 20 62 72 65 61 |ogram hi|t a brea|
|00003360| 6b 70 6f 69 6e 74 3b 0d | 74 68 65 20 75 73 65 72 |kpoint;.|the user|
|00003370| 27 73 20 70 72 6f 67 72 | 61 6d 20 77 61 73 20 74 |'s progr|am was t|
|00003380| 68 72 65 61 64 7e 30 2c | 20 61 6e 64 20 74 68 65 |hread~0,| and the|
|00003390| 20 70 72 6f 63 65 64 75 | 72 65 20 63 61 6c 6c 20 | procedu|re call |
|000033a0| 77 61 73 20 74 68 72 65 | 61 64 7e 31 2e 0d 0d 25 |was thre|ad~1...%|
|000033b0| 25 25 25 20 5c 73 65 6d | 69 66 69 6c 62 72 65 61 |%%% \sem|ifilbrea|
|000033c0| 6b 7b 33 69 6e 7d 20 25 | 20 70 61 67 65 20 74 75 |k{3in} %| page tu|
|000033d0| 6e 69 6e 67 0d 54 6f 20 | 70 72 65 76 65 6e 74 20 |ning.To |prevent |
|000033e0| 73 75 63 68 20 61 6e 20 | 6f 63 63 75 72 72 65 6e |such an |occurren|
|000033f0| 63 65 2c 20 74 68 65 20 | 43 50 55 20 6d 75 73 74 |ce, the |CPU must|
|00003400| 20 6e 6f 74 20 62 65 20 | 70 65 72 6d 69 74 74 65 | not be |permitte|
|00003410| 64 20 74 6f 20 63 68 61 | 6e 67 65 0d 63 6f 6e 74 |d to cha|nge.cont|
|00003420| 65 78 74 73 20 77 68 65 | 6e 20 61 20 74 68 72 65 |exts whe|n a thre|
|00003430| 61 64 20 69 73 20 69 6e | 20 74 68 65 20 6d 69 64 |ad is in| the mid|
|00003440| 64 6c 65 20 6f 66 20 61 | 20 62 72 65 61 6b 70 6f |dle of a| breakpo|
|00003450| 69 6e 74 2e 0d 49 66 20 | 74 68 65 20 43 50 55 20 |int..If |the CPU |
|00003460| 63 61 6e 20 63 68 61 6e | 67 65 20 63 6f 6e 74 65 |can chan|ge conte|
|00003470| 78 74 73 20 6f 6e 6c 79 | 20 77 68 65 6e 20 5b 5b |xts only| when [[|
|00003480| 6e 6f 73 77 69 74 63 68 | 20 3d 3d 20 30 5d 5d 2c |noswitch| == 0]],|
|00003490| 20 74 68 65 6e 20 74 68 | 65 0d 66 6f 6c 6c 6f 77 | then th|e.follow|
|000034a0| 69 6e 67 20 62 72 65 61 | 6b 70 6f 69 6e 74 20 69 |ing brea|kpoint i|
|000034b0| 6d 70 6c 65 6d 65 6e 74 | 61 74 69 6f 6e 20 77 6f |mplement|ation wo|
|000034c0| 72 6b 73 20 63 6f 72 72 | 65 63 74 6c 79 2e 0d 3c |rks corr|ectly..<|
|000034d0| 3c 70 72 6f 63 74 79 70 | 65 73 3e 3e 3d 0d 70 72 |<proctyp|es>>=.pr|
|000034e0| 6f 63 74 79 70 65 20 62 | 72 65 61 6b 70 6f 69 6e |octype b|reakpoin|
|000034f0| 74 28 29 20 7b 0d 20 20 | 74 68 72 65 61 64 69 64 |t() {.  |threadid|
|00003500| 20 69 64 3b 0d 0d 20 20 | 64 6f 0d 20 20 3a 3a 20 | id;..  |do.  :: |
|00003510| 74 72 61 70 3f 69 64 20 | 2d 3e 0d 20 20 20 20 20 |trap?id |->.     |
|00003520| 20 20 69 66 0d 20 20 20 | 20 20 20 20 3a 3a 20 62 |  if.   |    :: b|
|00003530| 72 65 61 6b 73 74 61 74 | 65 20 3d 3d 20 42 72 65 |reakstat|e == Bre|
|00003540| 61 6b 20 2d 3e 0d 20 20 | 20 20 20 20 20 20 20 20 |ak ->.  |        |
|00003550| 20 20 69 66 20 0d 20 20 | 20 20 20 20 20 20 20 20 |  if .  |        |
|00003560| 20 20 3a 3a 20 21 69 6e | 62 72 65 61 6b 5b 69 64 |  :: !in|break[id|
|00003570| 5d 20 2d 3e 20 62 72 65 | 61 6b 61 63 74 69 6f 6e |] -> bre|akaction|
|00003580| 21 69 64 20 3b 20 69 6e | 62 72 65 61 6b 5b 69 64 |!id ; in|break[id|
|00003590| 5d 20 3d 20 31 0d 20 20 | 20 20 20 20 20 20 20 20 |] = 1.  |        |
|000035a0| 20 20 3a 3a 20 20 69 6e | 62 72 65 61 6b 5b 69 64 |  ::  in|break[id|
|000035b0| 5d 20 2d 3e 20 61 73 73 | 65 72 74 28 30 29 0d 20 |] -> ass|ert(0). |
|000035c0| 20 20 20 20 20 20 20 20 | 20 20 20 66 69 3b 0d 09 |        |   fi;..|
|000035d0| 20 20 20 20 6e 6f 73 77 | 69 74 63 68 20 3d 20 6e |    nosw|itch = n|
|000035e0| 6f 73 77 69 74 63 68 20 | 2b 20 31 3b 0d 20 20 20 |oswitch |+ 1;.   |
|000035f0| 20 20 20 20 20 20 20 20 | 20 3c 3c 6d 6f 76 65 20 |        | <<move |
|00003600| 74 72 61 70 73 20 74 6f | 20 5b 5b 46 6f 6c 6c 6f |traps to| [[Follo|
|00003610| 77 5d 5d 3e 3e 0d 20 20 | 20 20 20 20 20 3a 3a 20 |w]]>>.  |     :: |
|00003620| 62 72 65 61 6b 73 74 61 | 74 65 20 3d 3d 20 46 6f |breaksta|te == Fo|
|00003630| 6c 6c 6f 77 20 2d 3e 0d | 20 20 20 20 20 20 20 20 |llow ->.|        |
|00003640| 20 20 20 20 69 66 20 0d | 20 20 20 20 20 20 20 20 |    if .|        |
|00003650| 20 20 20 20 3a 3a 20 20 | 69 6e 62 72 65 61 6b 5b |    ::  |inbreak[|
|00003660| 69 64 5d 20 2d 3e 20 69 | 6e 62 72 65 61 6b 5b 69 |id] -> i|nbreak[i|
|00003670| 64 5d 20 3d 20 30 0d 20 | 20 20 20 20 20 20 20 20 |d] = 0. |        |
|00003680| 20 20 20 3a 3a 20 21 69 | 6e 62 72 65 61 6b 5b 69 |   :: !i|nbreak[i|
|00003690| 64 5d 20 2d 3e 20 61 73 | 73 65 72 74 28 30 29 0d |d] -> as|sert(0).|
|000036a0| 20 20 20 20 20 20 20 20 | 20 20 20 20 66 69 3b 0d |        |    fi;.|
|000036b0| 20 20 20 20 20 20 20 20 | 20 20 20 20 6e 6f 73 77 |        |    nosw|
|000036c0| 69 74 63 68 20 3d 20 6e | 6f 73 77 69 74 63 68 20 |itch = n|oswitch |
|000036d0| 2d 20 31 3b 0d 20 20 20 | 20 20 20 20 20 20 20 20 |- 1;.   |        |
|000036e0| 20 3c 3c 6d 6f 76 65 20 | 74 72 61 70 73 20 74 6f | <<move |traps to|
|000036f0| 20 5b 5b 42 72 65 61 6b | 5d 5d 3e 3e 0d 20 20 20 | [[Break|]]>>.   |
|00003700| 20 20 20 20 66 69 3b 20 | 20 0d 20 20 20 20 20 20 |    fi; | .      |
|00003710| 20 72 65 73 75 6d 65 21 | 78 0d 20 20 6f 64 0d 7d | resume!|x.  od.}|
|00003720| 0d 40 20 5c 6e 6f 69 6e | 64 65 6e 74 20 54 68 65 |.@ \noin|dent The|
|00003730| 20 62 61 6e 20 6f 6e 20 | 63 6f 6e 74 65 78 74 20 | ban on |context |
|00003740| 73 77 69 74 63 68 69 6e | 67 20 6d 61 6b 65 73 20 |switchin|g makes |
|00003750| 69 74 20 70 6f 73 73 69 | 62 6c 65 20 74 6f 20 73 |it possi|ble to s|
|00003760| 74 72 65 6e 67 74 68 65 | 6e 0d 20 5b 5b 73 6b 69 |trengthe|n. [[ski|
|00003770| 70 5d 5d 20 74 6f 20 5b | 5b 61 73 73 65 72 74 28 |p]] to [|[assert(|
|00003780| 30 29 5d 5d 2e 0d 0d 5b | 5b 6e 6f 73 77 69 74 63 |0)]]...[|[noswitc|
|00003790| 68 5d 5d 20 69 73 20 64 | 65 63 6c 61 72 65 64 20 |h]] is d|eclared |
|000037a0| 74 6f 20 62 65 20 61 20 | 63 6f 75 6e 74 65 72 2c |to be a |counter,|
|000037b0| 20 6e 6f 74 20 61 20 62 | 69 74 2c 20 62 65 63 61 | not a b|it, beca|
|000037c0| 75 73 65 20 74 68 61 74 | 0d 69 6d 70 6c 65 6d 65 |use that|.impleme|
|000037d0| 6e 74 61 74 69 6f 6e 20 | 20 67 65 6e 65 72 61 6c |ntation | general|
|000037e0| 69 7a 65 73 20 74 6f 20 | 6d 75 6c 74 69 70 6c 65 |izes to |multiple|
|000037f0| 20 62 72 65 61 6b 70 6f | 69 6e 74 73 2e 0d 3c 3c | breakpo|ints..<<|
|00003800| 64 65 63 6c 61 72 61 74 | 69 6f 6e 73 3e 3e 3d 0d |declarat|ions>>=.|
|00003810| 62 79 74 65 20 6e 6f 73 | 77 69 74 63 68 20 3d 20 |byte nos|witch = |
|00003820| 30 3b 0d 40 0d 5c 73 65 | 6d 69 66 69 6c 62 72 65 |0;.@.\se|mifilbre|
|00003830| 61 6b 7b 31 2e 36 69 6e | 7d 20 25 20 70 61 67 65 |ak{1.6in|} % page|
|00003840| 20 74 75 6e 69 6e 67 0d | 40 0d 54 68 65 20 43 50 | tuning.|@.The CP|
|00003850| 55 20 63 6f 64 65 20 74 | 6f 20 64 6f 20 74 68 65 |U code t|o do the|
|00003860| 20 63 6f 6e 74 65 78 74 | 20 73 77 69 74 63 68 69 | context| switchi|
|00003870| 6e 67 20 63 6f 72 72 65 | 63 74 6c 79 20 69 73 3a |ng corre|ctly is:|
|00003880| 0d 3c 3c 70 6f 73 73 69 | 62 6c 65 20 63 6f 6e 74 |.<<possi|ble cont|
|00003890| 65 78 74 20 73 77 69 74 | 63 68 20 28 63 68 61 6e |ext swit|ch (chan|
|000038a0| 67 65 20 6f 66 20 5b 5b | 69 64 5d 5d 29 3e 3e 3d |ge of [[|id]])>>=|
|000038b0| 0d 69 66 20 0d 3a 3a 20 | 6e 6f 73 77 69 74 63 68 |.if .:: |noswitch|
|000038c0| 20 3d 3d 20 30 20 2d 3e | 20 3c 3c 73 65 74 20 5b | == 0 ->| <<set [|
|000038d0| 5b 69 64 5d 5d 20 72 61 | 6e 64 6f 6d 6c 79 3e 3e |[id]] ra|ndomly>>|
|000038e0| 0d 3a 3a 20 6e 6f 73 77 | 69 74 63 68 20 20 3e 20 |.:: nosw|itch  > |
|000038f0| 30 20 2d 3e 20 73 6b 69 | 70 0d 66 69 0d 3c 3c 73 |0 -> ski|p.fi.<<s|
|00003900| 65 74 20 5b 5b 69 64 5d | 5d 20 72 61 6e 64 6f 6d |et [[id]|] random|
|00003910| 6c 79 3e 3e 3d 0d 61 74 | 6f 6d 69 63 20 7b 0d 20 |ly>>=.at|omic {. |
|00003920| 20 69 66 0d 20 20 3a 3a | 20 69 64 20 3d 20 30 0d | if.  ::| id = 0.|
|00003930| 20 20 3a 3a 20 69 64 20 | 3d 20 31 0d 20 20 66 69 |  :: id |= 1.  fi|
|00003940| 0d 7d 0d 40 0d 5c 73 65 | 63 74 69 6f 6e 7b 43 6f |.}.@.\se|ction{Co|
|00003950| 6d 70 6c 65 74 69 6e 67 | 20 74 68 65 20 6d 6f 64 |mpleting| the mod|
|00003960| 65 6c 7d 0d 54 68 65 20 | 62 6f 69 6c 65 72 70 6c |el}.The |boilerpl|
|00003970| 61 74 65 20 6e 65 65 64 | 65 64 20 74 6f 20 74 75 |ate need|ed to tu|
|00003980| 72 6e 20 74 68 65 20 6d | 6f 64 65 6c 20 69 6e 74 |rn the m|odel int|
|00003990| 6f 0d 61 20 63 6f 6d 70 | 6c 65 74 65 20 50 52 4f |o.a comp|lete PRO|
|000039a0| 4d 45 4c 41 20 73 70 65 | 63 69 66 69 63 61 74 69 |MELA spe|cificati|
|000039b0| 6f 6e 20 69 73 3a 0d 3c | 3c 2a 3e 3e 3d 0d 3c 3c |on is:.<|<*>>=.<<|
|000039c0| 64 65 63 6c 61 72 61 74 | 69 6f 6e 73 3e 3e 0d 3c |declarat|ions>>.<|
|000039d0| 3c 70 72 6f 63 74 79 70 | 65 73 3e 3e 0d 69 6e 69 |<proctyp|es>>.ini|
|000039e0| 74 20 7b 0d 20 20 74 68 | 72 65 61 64 69 64 20 69 |t {.  th|readid i|
|000039f0| 64 3b 0d 20 20 61 74 6f | 6d 69 63 20 7b 20 0d 20 |d;.  ato|mic { . |
|00003a00| 20 20 20 3c 3c 69 6e 69 | 74 69 61 6c 69 7a 61 74 |   <<ini|tializat|
|00003a10| 69 6f 6e 3e 3e 20 0d 20 | 20 20 20 3c 3c 66 6f 72 |ion>> . |   <<for|
|00003a20| 20 24 30 20 5c 6c 65 20 | 5c 74 74 20 69 64 20 3c | $0 \le |\tt id <|
|00003a30| 20 4e 54 48 52 45 41 44 | 53 24 2c 20 69 6e 69 74 | NTHREAD|S$, init|
|00003a40| 69 61 6c 69 7a 65 20 64 | 61 74 61 20 66 6f 72 20 |ialize d|ata for |
|00003a50| 74 68 72 65 61 64 20 5b | 5b 69 64 5d 5d 3e 3e 3b |thread [|[id]]>>;|
|00003a60| 0d 20 20 20 20 72 75 6e | 20 74 68 72 65 61 64 28 |.    run| thread(|
|00003a70| 30 29 3b 0d 20 20 20 20 | 72 75 6e 20 74 68 72 65 |0);.    |run thre|
|00003a80| 61 64 28 31 29 3b 0d 20 | 20 20 20 72 75 6e 20 64 |ad(1);. |   run d|
|00003a90| 65 62 75 67 67 65 72 28 | 29 3b 0d 20 20 20 20 72 |ebugger(|);.    r|
|00003aa0| 75 6e 20 62 72 65 61 6b | 70 6f 69 6e 74 28 29 3b |un break|point();|
|00003ab0| 0d 20 20 20 20 72 75 6e | 20 43 50 55 20 28 32 29 |.    run| CPU (2)|
|00003ac0| 20 0d 20 20 7d 0d 7d 0d | 40 20 5c 73 65 6d 69 66 | .  }.}.|@ \semif|
|00003ad0| 69 6c 62 72 65 61 6b 7b | 31 69 6e 7d 0d 3c 3c 66 |ilbreak{|1in}.<<f|
|00003ae0| 6f 72 20 24 30 20 5c 6c | 65 20 5c 74 74 20 69 64 |or $0 \l|e \tt id|
|00003af0| 20 3c 20 4e 54 48 52 45 | 41 44 53 24 2c 20 69 6e | < NTHRE|ADS$, in|
|00003b00| 69 74 69 61 6c 69 7a 65 | 20 64 61 74 61 20 66 6f |itialize| data fo|
|00003b10| 72 20 74 68 72 65 61 64 | 20 5b 5b 69 64 5d 5d 3e |r thread| [[id]]>|
|00003b20| 3e 3d 0d 69 64 20 3d 20 | 30 3b 0d 64 6f 0d 3a 3a |>=.id = |0;.do.::|
|00003b30| 20 69 64 20 3c 20 4e 54 | 48 52 45 41 44 53 20 2d | id < NT|HREADS -|
|00003b40| 3e 20 3c 3c 69 6e 69 74 | 69 61 6c 69 7a 65 20 64 |> <<init|ialize d|
|00003b50| 61 74 61 20 66 6f 72 20 | 74 68 72 65 61 64 20 5b |ata for |thread [|
|00003b60| 5b 69 64 5d 5d 3e 3e 20 | 0d 20 20 20 69 66 20 0d |[id]]>> |.   if .|
|00003b70| 20 20 20 3a 3a 20 69 64 | 20 3d 3d 20 4e 54 48 52 |   :: id| == NTHR|
|00003b80| 45 41 44 53 20 2d 20 31 | 20 20 2d 3e 20 62 72 65 |EADS - 1|  -> bre|
|00003b90| 61 6b 0d 20 20 20 3a 3a | 20 69 64 20 3c 20 20 4e |ak.   ::| id <  N|
|00003ba0| 54 48 52 45 41 44 53 20 | 2d 20 31 20 20 2d 3e 20 |THREADS |- 1  -> |
|00003bb0| 69 64 20 3d 20 69 64 20 | 2b 20 31 0d 20 20 20 66 |id = id |+ 1.   f|
|00003bc0| 69 0d 6f 64 0d 40 0d 7d | 0d 40 0d 5c 73 65 63 74 |i.od.@.}|.@.\sect|
|00003bd0| 69 6f 6e 7b 4c 69 73 74 | 20 6f 66 20 63 68 75 6e |ion{List| of chun|
|00003be0| 6b 73 7d 0d 5c 6e 6f 77 | 65 62 63 68 75 6e 6b 73 |ks}.\now|ebchunks|
|00003bf0| 0d                      |                         |.       |        |
+--------+-------------------------+-------------------------+--------+--------+